BODY
{
  color: black;
  background: white;
  font-family: sans-serif;
}

P
{
  text-indent: 0em;
}

CODE
{
  display: block;
  padding: 10pt;
  white-space: pre;
  color: black;
  background-color: #AAAAAA;
  border-style: solid;
  border-color: black;
  border-width: thin;
  margin: 2em;
}

IMG.floatleft
{
  float: left;
  margin-right: 1em;
  margin-bottom: 1em;
}

IMG.floatright
{
  float: right;
  margin-left: 1em;
  margin-bottom: 1em;
}

DL
{
  background-color: #DDDDDD;
  padding: 0.5em 0.5em 0.5em 0.5em;
  border: 1px solid black;
}

DT
{
  font-style: italic;
}

DD
{
  margin-bottom: 1em;
}

LI
{
  margin-bottom: 0.5em;
}

H2
{
  background-color: #CCCCFF;
  padding-bottom: 0.15em;
  padding-left: 0.2em;
  border: 1px solid black;
}

H3
{
  margin-bottom: 0.5em;
}

#coloredbox {
    background-color: lightblue;
    padding: 10px;
    border: 1px solid black;
}

.body-code-snippet {
  border: 1px solid black;
  padding: 10px;
  padding-right: 15px;
  padding-left: 5px;
  background-color: #CCCCFF;
}

.body-code-snippet > pre {
  color: darkgreen;
}

.body-code-snippet-caption {
  border: 1px solid black;
  padding-right:5px;
  padding-left:5px;
  background-color:lightgray;
  position:relative;
  top:0.5em;
  left:0.5em;
  margin-left:10px;
  margin-right:10px;
}

menuitem {
  padding-right: 5px;
  padding-left: 5px;
}

menuitem:hover {
  background-color: yellow;
}

submenuitem {
  margin-left: 1em;
  padding-left: 5px;
  padding-right: 5px;
}

submenuitem:hover {
  background-color: yellow;
}

