GMP/CoLoSS/menu.html

	menu.html revision 74b23191c8f49798f7513f324bbdbbe32f8a1db2
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
<title>CoLoSS - Top Menu</title>
<link rel="stylesheet" href="main.css" type="text/css" />
</head>

<body class="menubar">
<table>
<tr>
    <td>
    <img src="images/logo.gif" width="180px" height="78px"/>
  </td>
    <td width="100%" >
        <table width="100%" height="60px">
          <tr>
              <td width="100%">
          <h1 align="right">
            Coalgebraic Logic Satisfiability Solver
          </h1>
              </td>
          </tr>

      <tr>
            <td>
            <table class="menu" align="right">
          <tr />
          <td>
            <a href="info.html" target="INFO"> Home </a>
          </td>
          <td>
            <a href="tool.html" target="INFO"> Tool </a>
          </td>
          <td>
            <a href="tests.html" target="INFO"> Tests </a>
          </td>
          <td>
            <a href="credits.html" target="INFO"> Credits </a>
          </td>
          <td>
            <a href="imprint.html" target="INFO"> Contact </a>
          </td>
          </table>
        </td>
          </tr>
        </table>
    </td>
</tr>
</table>
</body>
</html>