/* Undocumented css file */
* { font-family:Arial, Helvetica, sans-serif; }
code { font-family:"Courier New", Courier, monospace; font-style:italic; background-color:white; border: solid 1px #ccc; }
#meny  { position:absolute; top:0px; left:   0px; width:100px; height:100%; background-color:Red; } 
#hoved { position:absolute; top:0px; left: 100px; right:  0px; height:100%; background-color:green; padding-left:20px; overflow-y:scroll; }
#arrow { display:none; }
.header { font-weight:bolder; }
#hoved a, #hoved a:visited, #hoved a:hover { text-decoration: none; border-bottom: 1px dotted #000; color: #000; }