body {
        font-family: Verdana, "Bitstream Vera Sans", "DejaVu Sans", Tahoma, Geneva, Arial, Sans-serif;
        }
        
    div#container {
        width: 902px;
        margin: 0px auto;
        /*border: 1px solid #000;
        background-color: #f0f0f0; */
        }
        
    /**********/
 
    div#head {
        border: 1px solid #000;
        width: 900px;
        margin: 15px auto;
        }
    
    div#head img {
        padding: 0px;
        margin: 0px;
        display: block;
        }
    
    .name {
        margin: 0px;
        width: 100%;
        border-top: 1px solid #000;
        display: block;
        }
        
    .name a {
        font-size: 20px;
        color: #333;
        display: block;
        padding: 0px;
        margin: 0px;
        text-decoration: none;
        background-color: #eee;
        
        text-transform: lowercase;
        
        padding-left: 94px; /* this gets removed by url.js  in favor of the #url1 attribute */
        }
        
    .name a:hover {
        background-color: #999;
        text-decoration: none;
        }
    
    
    #url1, #url2, #url3, #url4  {
        position: relative;
        left: 0px;
        }
        
    #url1 {
        padding-left: 94px;
        }
        
    .url {
        position: relative;
        display: none;
        color: #eee;
        }
    
    /***********/
    
    a {
        font-weight: bold;
        text-decoration: none;
        color: #07a;
        }
        
    a:hover {
        text-decoration: underline;
        }
        
    #menu a img {
        display: none;
        }
    #menu a:hover img {
        display: inline;
        border: 0px;
        height: 12px;
        position: relative;
        left: 50px;
        }
    
    
    div#menu {
        width: 160px;
        border-right: 1px solid #aaa;
        float: left;
        margin: 20px 0px 20px 0px;
        }
        
    div#menu ul {
        display: block;
        margin: 0px;
        list-style-image:none;
        list-style-position:outside;
        list-style-type:none;
        padding-left: 15px;
        }
        
    div#menu ul li {
        margin: 0px;
        display: block;
        }
        
    div#menu ul li a {
        padding-left: 10px;
        padding-top: 3px;
        padding-bottom: 3px;
        display: block;
        text-decoration: none;
        font-weight: bold;
        font-size: 13px;
        font-variant: small-caps;
        color: #0077AA;
        }

    div#menu ul li a:hover {
        background-color: #ddd;
                
        }
        
        
    div#content {
        float: left;
        margin: 10px;
        margin-left: 30px;
        width: 700px;
        /*font-family: sans-serif; */
        font-size: 13px;
        line-height: 1.5;
        }
        
    div#content h1 {
        display: block;
        margin: 0px;
        color: #444;
        font-size: 16pt;
        /*font-variant: small-caps;*/
        }
        
    div#content h3 {
        display: block;
        margin: 0px;
        font-size: 13pt;
        padding: 0px;
        }
    div#content ul {
        margin: 0px;
        }
        
    pre.pgp {
        border: 1px dashed #000;
        padding: 10px;
        background-color: #eee;
        width: 550px;
        font-size: 8pt;
        }
        
    table td.label {
        color: #888;
        text-align: right;
        padding-right: 5px;
        }
        
    table td.value {
        font-weight: bold;
        padding-left: 0px;
        }
    table td.fingerprint {
        padding-left: 20px;
        color: #888;
        font-family: monospace;
        }
        
    div.clearfix {
        clear: both;
        }