div#menu
{ background-color: #DDDDDD;
  color           : #000000;
  left            : 0.5em;
  margin          : 0;
  padding         : 0 0 0.5em 0;
  position        : absolute;
  top             : 8.5em;
  vertical-align  : top;
  width           : 11.4em }

div#menu a[href*="?program="]
{ display         : block }

div#menu a[href*="?program=reu"]
{ margin-bottom   : 1em }

div#menu p
{ font-size       : 0.8em;
  margin          : 1em 0.5em;
  text-align      : left }

div#menu ul
{ border-color    : #000000;
  border-style    : solid;
  border-width    : 0.0625em;
  list-style-type : none;
  margin          : 0;
  padding         : 0.45em }

div#menu ul a
{ color           : #0000FF }

div#menu ul a.selected
{ color           : #FF0000 }

div#menu ul li:first-child
{ border-style    : solid }

div#menu ul li
{ border-color    : #808080;
  border-style    : none solid solid solid;
  border-width    : 0.0625em;
  padding         : 0.12em 0 0 0;
  text-align      : center;
  text-transform  : uppercase }

div#menu ul li ul
{ background-color: #FFFFFF;
  border-color    : #808080 #000000 #000000 #000000;
  border-style    : solid none;
  font-size       : 0.8em;
  list-style-type : square;
  margin          : 0.15em 0 0 0;
  padding         : 0.4em 1em 0.6em 1em }

div#menu ul li ul li,
div#menu ul li ul li:first-child
{ border-style    : none;
  line-height     : 1.3em;
  margin-left     : 0.9em;
  text-align      : left;
  text-transform  : none }

div#menu ul li ul li ul
{ border-style    : none;
  list-style-type : none;
  margin          : 0;
  padding         : 0 }