|
|
| Line 56: |
Line 56: |
| | <body> | | <body> |
| | <div id="background"> | | <div id="background"> |
| − | <div id="header"> | + | |
| − | <div id="nav-wrapper">
| + | |
| − | <div class="nav">
| + | |
| − | <ul class="nv">
| + | |
| − | <li id ="nv0" style="width:56px"><a href="index.html"></a></li>
| + | |
| − | <li id ="nv1">
| + | |
| − | <a href="Description.html"></a>
| + | |
| − | <ul>
| + | |
| − | <li id="nv11"><a href="Description.html"></a></li>
| + | |
| − | <li id="nv12"><a href="Proof.html"></a></li>
| + | |
| − | </ul>
| + | |
| − | </li>
| + | |
| − | <li id ="nv2">
| + | |
| − | <a href="Software.html"></a>
| + | |
| − | <ul>
| + | |
| − | <li id="nv21"><a href="Software.html"></a></li>
| + | |
| − | <li id="nv22"><a href="Collaborations.html"></a></li>
| + | |
| − | </ul>
| + | |
| − | </li>
| + | |
| − | <li id ="nv3"><a href="Achievements.html"></a></li>
| + | |
| − | <li id ="nv4"><a href="Experiments.html"></a></li>
| + | |
| − | <li id ="nv5">
| + | |
| − | <a href="Human_Practices.html"></a>
| + | |
| − | <ul>
| + | |
| − | <li id="nv51"><a href="Human_Practices.html"></a></li>
| + | |
| − | <li id="nv52"><a href="HP-Silver.html"></a></li>
| + | |
| − | <li id="nv53"><a href="HP-Gold.html"></a></li>
| + | |
| − | </ul>
| + | |
| − | </li>
| + | |
| − | <li id ="nv6"><a href="Notebook.html"></a></li>
| + | |
| − | <li id ="nv7">
| + | |
| − | <a href="Team.html"></a>
| + | |
| − | <ul>
| + | |
| − | <li id="nv71"><a href="Team.html"></a></li>
| + | |
| − | <li id="nv72"><a href="Attributions.html"></a></li>
| + | |
| − | </ul>
| + | |
| − | </li>
| + | |
| − | <li id ="nv8"><a href="Safety.html"></a></li>
| + | |
| − | </ul>
| + | |
| − | </div>
| + | |
| − | </div>
| + | |
| − | </div>
| + | |
| | <div id="topbanner"> | | <div id="topbanner"> |
| | </div> | | </div> |
