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> |
Revision as of 14:00, 11 October 2016