-<!-- dd menu -->
-<script type="text/javascript">
-<!--
-var timeout = 500;
-var closetimer = 0;
-var ddmenuitem = 0;
-
-// open hidden layer
-function mopen(id)
-{
- // cancel close timer
- mcancelclosetime();
-
- // close old layer
- if(ddmenuitem) ddmenuitem.style.visibility = 'hidden';
-
- // get new layer and show it
- ddmenuitem = document.getElementById(id);
- ddmenuitem.style.visibility = 'visible';
-
-}
-// close showed layer
-function mclose()
-{
- if(ddmenuitem) ddmenuitem.style.visibility = 'hidden';
-}
-
-// go close timer
-function mclosetime()
-{
- closetimer = window.setTimeout(mclose, timeout);
-}
-
-// cancel close timer
-function mcancelclosetime()
-{
- if(closetimer)
- {
- window.clearTimeout(closetimer);
- closetimer = null;
- }
-}
-
-// close layer when click-out
-document.onclick = mclose;
-// -->
-</script>
-
-</head>
-
-
-<body>
-
-
-<div id="header">
-<div id="logo"><a href="/" title="Home"></a></div>
-<ul id="buttons">
-<li id="applet"><a href="applets.html" title="applet"></a></li>
-<li id="desktop"><a href="/webstart/jalview.jnlp" title="desktop"></a></li>
-</ul>
-</div>
-
-
-<div id ="nav">
-<div id="navInner">
-
-<ul id="sddm">
- <li><a href="#">Home</a></li>
- <li><a href="#" onmouseover="mopen('m1')" onmouseout="mclosetime()">About</a>
- <div id="m1" onmouseover="mcancelclosetime()" onmouseout="mclosetime()">
- <a href="#">Documentation</a>
- <a href="#">Publications</a>
- <a href="#">Credits</a>
- <a href="#">Screenshots</a>
- </div>
- </li>
- <li><a href="#">FAQ</a></li>
- <li><a href="#" onmouseover="mopen('m3')" onmouseout="mclosetime()" class="community">Community</a>
- <div id="m3" onmouseover="mcancelclosetime()" onmouseout="mclosetime()">
- <a href="#">News Mailing List</a>
- <a href="#">Discussion Mailing List</a>
- <a href="#">Links</a>
- <a href="#">Community News</a>
- </div>
- </li>
- <li><a href="#" onmouseover="mopen('m4')" onmouseout="mclosetime()" class="development">Development</a>
- <div id="m4" onmouseover="mcancelclosetime()" onmouseout="mclosetime()">
- <a href="#">Release History</a>
- <a href="#">Jalview Bug Tracker</a>
- <a href="#">Jalview Git Web</a>
- <a href="#">Development News</a>
- </div>
- </li>
- <li><a href="#" onmouseover="mopen('m5')" onmouseout="mclosetime()" class="training">Training</a>
- <div id="m5" onmouseover="mcancelclosetime()" onmouseout="mclosetime()">
- <a href="#">Training Courses</a>
- <a href="#">Training News</a>
- </div>
- </li>
- <li><a href="#" class="download-right">Download</a></li>
-</ul>
-<div style="clear:both"></div>