DIV.Menu {
  position: absolute;
  left: 12px;
  top: 12px;

  width: 198px;
  padding: 1em 0px 1em 0px;
  border: 1px solid #B0F0B0;
  background: #E0F0E0;
}

DIV.Content {
  position: absolute;
  left: 212px;
  top: 12px;

  padding: 2em;
}


DIV.Indent0 { padding-left: 0.5em; font-size: 12pt }
DIV.Indent1 { padding-left: 1.5em; font-size: 10pt }
DIV.Indent2 { padding-left: 2.5em; font-size: 10pt }
#selected { background-color: #B0F0B0 }
DIV.Small { font-size: 10pt }
DIV.Tiny { font-size: 8pt }