h1.header {
  margin: 0;
  padding-left: 0.5em;
  padding-top: 1ex;
  padding-bottom: 0.5ex
}
div.caption {
  background-color: black;
  color: white;
  font-weight: bold;
  font-size: 90%;
  text-align: right;
  padding-top: 0.1ex;
  padding-bottom: 0.1ex;
  padding-right: 1em
}
div.logos {
  background-color: #CCCCCC;
  vertical-align: middle;
  padding-top: 0.5ex;
  padding-top: 0.5ex
}
div.logos span {
  display: none
}
div.logos img {
  vertical-align: middle;
  padding-left: 1em;
  padding-right: 1em
}
div.logos div.search {
  float: right
}
div.menu {
  padding-top: 1ex;
  padding-left: 1em;
  padding-right: 1em;
  width: 11em;
  position: absolute;
  top: 190px;
}
div.hfill {
  float: right;
  height: 40ex
}
div.menu hr {
  display: none
}
div.menu div.hr {
  height: 10px;
  background: url(../images/notbored/menubar.gif) left center no-repeat
}
div.menu a {
  color: black;
  padding-left: 0.5em
}
div.main {
  padding-left: 12em
}
div.main hr {
  color: #990000;
  width: 90%
}
div.bk2 {
  background: url(../images/notbored/background.jpg) right top no-repeat
}
div.bk1 {
  background: url(../images/notbored/backgroundrep.jpg) right repeat-y
}
label {
  font-weight: bold
}