table {
  border-style : none;
}
td {
  border-style : none;
}
div.highlight { background-color : #fff8f0;}
div.navigation {
    width : 43%;
    float : left;
}
div.content {
    width  : 56%;
    padding-left : 5px;
    float : left;
}

p.float {
   margin : 5px;
   float : left;
}

img.show {
   border-width : 5px;
   border-style : solid;
   border-color : #cccccc #999999 #666666 #dddddd;
}  

img#logo {
   float : left;
   padding : 1em;
   border-style : none;
}


br {
 clear : both;
}
p {
 margin : 0.2em 0.4em 0.2em 0.4em;
}

h2.top {
   margin-top : 0em;
}