div.menuborder {
  border: 1px solid grey;    
  padding: 1em;
  margin: 0.5em;
}
ul.menu {}
ul.menu a:link, a:visited {
  color: #000044;
  text-decoration: none; /* Don't underline links in menu. */
}
ul.menu .menuitem {}
ul.menu .menuitemlabel {}

div.pagetitle {
  font-weight: bold;
  font-size: large;
  color: #000044;
  text-align: center;
}

div.panel {
  border: 1px solid grey;
  margin: 0.5em;
}
div.panel .hd {
  font-variant: small-caps;
  font-weight: bold;
  background: #dfdfdf;
  color: #000044;
  padding: 0.4em;
}
div.panel .bd {
 padding: 0.4em;
}
.numlist {
  padding: 0.3em;
}
.numlist li {
  list-style-type: decimal;
  list-style-position: inside;
  padding: 0.15em;
}
.basiclist {
  padding: 0.3em;
}
.basiclist li {
 list-style: disc;
 list-style-position: inside;
 padding: 0.15em;
}
.panel img {
  padding: 0.2em;
  border: solid 1px #a7a09a;
}
.entryfloat{
  float: right;
  margin-left: 0.5em;
}