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

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

div.phrasebox {
  background-color: #ccccff;
  border: 1px dashed olive;
}

div.examplebox {
  background-color: #ffffcc;
  border: 1px dashed olive;
}