Miscellany

<html><head><style type="text/css">html { padding:0;margin:0;border:none; font-family: sans-serif; border:none; }body { padding:0;margin:0; }div, p, ul, li, table, th, td, tr { padding:0; margin:0; }/* Topbar */body#topbar { background-color: lightgray; height: 100%; padding-top:1em; }ul#projects { }ul#projects li {}body#topbar ul#menu { border-right:2px solid gray; border-bottom:2px solid gray;                      padding:1em 1em 1em;                      display:inline;                      background-color:#ccc;                      list-style-type:none; }body#topbar ul#menu li { display:inline; }body#topbar ul#menu a { text-decoration: none;                          font-weight:bold;                         padding:0.4em 1em 0.3em 1em;                        margin-left:1em;                        background-color: gray;                         color: white; }div#engineer_link { border: 1px solid black; }/*a#logout { float:right; }*//* Sidebar bodies */body#sidebar { background-color: lightgreen; border-right:8px solid green; height:100%; }body#admin_menu { background-color: lightyellow; }body#admin_menu ul { list-style-type:none; }/* Content bodies */body#content { background-color: lightgray; }body#error { background-color: lightred; }body#admin { background-color: pink; }/* General sidemenu divs */div.sidemenu { border:1px solid black; margin:1em; padding:0; }div.sidemenu div.title { text-align: center; padding:0.5em 0 0.5em 0}div.sidemenu a { text-decoration: none;                 padding:0.5em;                 display:block;               }div.sidemenu a:hover {}div.sidemenu li { padding-top:0.25em; padding-bottom: 0.25em; }div.sidemenu ul { padding:0 0.25em 0 0.25em; }/* Task specific sidemenu config */div#admin_menu div.title { background-color:red; }div#admin_menu a:hover { color: red; background-color:white; }div#admin_menu a { color:</style></head><body id="topbar">  <div style="height:100%">          <ul id="menu">                <li><a id="engineer_link" href="engineer_menu" target="sidebar">Engineering</a></li>                        <li><a id="admin_link" href="admin_menu" target="sidebar">Administration</a></li>              </ul>       <ul id="projects">                  <li>            <a href="sidebar?project=P001" target="sidebar">              P001            </a>          </li>                  <li>            <a href="sidebar?project=P002" target="sidebar">              P002            </a>          </li>                  <li>            <a href="sidebar?project=P003" target="sidebar">              P003            </a>          </li>                  <li>            <a href="sidebar?project=P004" target="sidebar">              P004            </a>          </li>              </ul>      <a id="logout" href="logout" target="_top">Logout(admin)</a>      </div></body></html>