body * {
  font-family: Georgia, lucida sans unicode,Verdana, Helvetica, Gill Sans, Verdana, arial, sans-serif;
  font-size: 10pt;
}

DIV.examples {
  background-color: #ccffff;
  width: 80%;
  position: relative;
  left: 10%
}

DIV.extrabox {
  background-color: #ffdd44;
  border: 1px solid black;
}

DIV.vocabframe {
  background-color: #ffffcc;
  width: 80%;
  position: relative;
  left: 10%
}

DIV.navigationmenu {
  background-color: #ccffff;
  border: 1px dashed olive;
}

DIV.conjbox {
  background-color: #ccffcc;
  border: 1px dashed olive;
}

DIV.summarybox {
  background-color: #ffffcc;
  left: 10%;
  width: 80%;
  position: relative;
  border: 1px dashed olive;
}