body {
    color: black; background-color: white;
    margin: 0; padding:0;
    min-width: 40em;
}

h1 {
    font-size:1.4em;
    border-bottom:1px dashed white;
    font-weight:bold;
    background-color:black;
    color:silver;
    margin-top:0px;
    padding-top:3px;
    padding-left:3px;
    padding-bottom:5px;
    margin-bottom:0px;
}

div#navbar          { margin:4px; padding:0; font-size:0.8em; color:black; }
div#navbar a        {  }

div#icon            { float:right; margin:0; padding:0; }

div#pane            { width:200px; float:right; font-size:0.9em; margin:0px 25px 0px 0px; }
div#pane p          { margin:0; padding:0.2em;  }
div#pane .news      { font-size:80%; color:#111; }
div#pane .section   { margin-top:1em; background-color:black; color:silver; padding:0.2em;
                      border-top:1px dashed white;}

div#main            { margin: 0px 250px 0px 25px; }


h2          { font-size:1.2em; padding-bottom:0; margin-bottom:0.5em; margin-top: 1.5em;
              border-bottom:1px solid #555; }
h3          { font-size:1.0em; padding-bottom:0; margin-bottom:0; color:#444 }

div#main p  { font-size:1em; line-height:130%; color:#333; margin-top:0px; text-align: justify;}
div#main li { font-size:1em; line-height:130%; color:#333; margin-top:0px; 
              text-align: justify; margin-bottom:0.5em; }


.source     { line-height:1.3em; padding:0.4em; border:thin dashed white; color:#111; 
              background-color:#bbbbbf; font-family:monospace; }
code        { color:#222244; background-color:#BBBB99; padding:2px; font-family:monospace; }

.hl         { color:black; }
strong      { color:#050505; }


div.screenshot { margin:5px; float:left; font-size:smaller; color:#444; }
div.screenshot img { border:1px solid #444; }

div#main p.lastupdate { background-color:black; color:silver; border-top:1px dashed white; font-size:smaller; margin-bottom:0; }