body {
  padding: 0px;

  margin-left: 50px;
  margin-right: 50px;
  margin-top: 0px;
  margin-bottom: 0px;

  font-family: verdana, arial, sans-serif;
  background-color: rgb(255,214,214);
  background-image: url(images/body-background.png);
}

/* For whatever reason, <tt> seems to make the font smaller.  Instead,
 * increase the font size so it reads better */
tt {
  font-size: larger;
}


/* Title Section */

#title {
  margin-top: 8px;
  margin-left: 20px;
  padding-top: 0px;
  padding-left: 80px;

  height: 78px;
  width: 266px;

  background-image: url(images/hs-logo.png);
  background-position: top left;
  background-repeat: no-repeat;
}

#title h1,
#title h2 {
  display: none;
}



/* Page Name Section */

#page-name {
  background-color: rgb(84,0,0);
  background-image: url(images/pagename-corner-left.png);
  background-position: top left;
  background-repeat: no-repeat;
}

#page-name h1 {
  margin-bottom: 0px;
  padding-left: 1em;

  font-size: 1em;
  font-weight: normal;
  color: rgb(220,230,184);

  background-image: url(images/pagename-corner-right.png);
  background-position: top right;
  background-repeat: no-repeat;
}



/* Menu Section */

#menu {
  float: right;
  border: 1px solid rgb(84,0,0);
  font-size: 85%;

  background-color: rgb(255,239,239);
  padding-bottom: .5em;
  margin-left: .5em;
}

#menu a {
  color: rgb(103,87,193);
  text-decoration: none;
}

#menu a:visited {
  color: rgb(192,84,175);
}

#menu a:hover {
  background-color: rgb(204,213,144);
}

#menu h1 {
  padding: .2em .2em;
  margin: 0;
  font-size: 1em;
  font-weight: bold;
  text-align: center;
  border-bottom: 1px dotted rgb(84,0,0);
}

#menu ul {
  margin: 0;

  list-style-type: none;
  padding-left: 1em;
  padding-right: 1em;
}

#menu ul li {
  font-weight: bold;
}

#menu ul ul {
  padding-right: 0px;
}

#menu ul ul li {
  font-weight: normal;
}



/* Content Section */

#content {
  padding-left: 2ex;
  padding-right: 2ex;
  border: 1px solid rgb(84,0,0);
  background-color: white;
  min-height: 25em;
}

#content h1 {
  color: rgb(0,91,46);
  font-size: x-large;
  margin-top: 2.5ex;
  margin-bottom: 0;
  border-top: 1px dashed gray;
}

#content a {
  color: rgb(103,87,193);
  text-decoration: none;
  border-bottom: 1px dashed;
}

#content a:visited {
  color: rgb(192,84,175);
}

#content a:hover {
  background-color: rgb(204,213,144);
  border-bottom: 1px solid;
  border-top: 1px solid;
}



/* Footer Section */

#footer {
  font-size: small;
  color: white;
  text-align: center;

  background-color: rgb(84,0,0);
  background-image: url(images/footer-corner-left.png);
  background-position: bottom left;
  background-repeat: no-repeat;
}

#footer .corner-ur {
  background-image: url(images/footer-corner-right.png);
  background-position: bottom right;
  background-repeat: no-repeat;
}

#footer ul {
  margin-top: 0em;
  margin-bottom: 0em;
  display: inline;
  list-style-type: none;
}

#footer li {
  display: inline;
}

#footer img {
  border: none;
}

#footer .logo-sf {
  position: absolute;
  left: 80px;
  margin-top: -8px;
}

#footer .logo-oss {
  position: absolute;
  right: 80px;
  margin-top: -8px;
}



/* Latest Version Section */

#latest {
  position: absolute;
  top: 0px;
  right: 0px;

  background-color: rgb(255,239,239);
  background-image: url(images/latest-border-bottom.png);
  background-position: bottom;
  background-repeat: repeat-x;
}

#latest .side-left {
  background-image: url(images/latest-border-left.png);
  background-position: left;
  background-repeat: repeat-y;
}

#latest h1 {
  margin: 0px;
  font-weight: normal;
  font-size: medium;

  padding-top: 5px;
  padding-left: 10px;
}

#latest h2 {
  margin: 0px;
  font-weight: normal;
  font-size: medium;

  padding-left: 10px;
  padding-right: 10px;
  padding-bottom: 10px;

  background-image: url(images/latest-border-corner.png);
  background-position: bottom left;
  background-repeat: no-repeat;
}

#latest .version {
  font-style: italic;
  font-weight: bold;
}

#latest a {
  color: rgb(103,87,193);
  text-decoration: none;
  border-bottom: 1px dashed;
}

#latest a:visited {
  color: rgb(192,84,175);
}

#latest a:hover {
  background-color: rgb(204,213,144);
  border-bottom: 1px solid;
  border-top: 1px solid;
}