/* Using two tables for layout, so remove borders from them. */
body        > table,
#page-title > table
{
  border-spacing: 0;
}


body > table tr {
  vertical-align: top;
}
#page-menu { white-space: nowrap; }


#page-title { margin-bottom: 0.75em; }
#page-content { padding-left: 1em; }

#page-title { border-top: thick ridge black; }
#page-menu { border-top: ridge #035; }


#page-title {
  background: #035;
  padding-top: 0.1em; padding-bottom: 0.1em; padding-left: 1em; padding-right: 1em;
}
#page-title table { color: white; }


#page-title #logo {
  border: 0;
  margin-right: 1em;
}

#page-menu {
  padding-left: 0.5em; padding-right: 0.5em;
  padding-bottom: 0.3em;
  background: #58A; color: black;
}

#page-menu .group { margin-top: 0.3em; margin-bottom: 1em; }
#page-menu .group .heading { font-weight: bold; }
#page-menu .group .links { text-align:right; }
#page-menu .group .links a {
  display:block;
  margin-top: 0.1em; margin-bottom: 0.1em;
  border-top: thin groove #035;
}
#page-menu .group a:first-child { border-top: none; }

#page-menu a {
  text-decoration: none;
  color: black;
}
#page-menu a:hover {
  background: #035;
  color: white;
}


#page-content h2 {
  margin-top: 0; margin-bottom: 0;
  border-top: ridge #035;
  background: #F65; color: black;
  padding-top: 0.1em; padding-left: 0.4em; padding-bottom: 0.1em;
}


div.announcements ul {
  list-style: none;
  padding-left: 0;
  margin-left: 0;
}
div.announcements ul > li {
  margin: 0;
  padding: 0.25em;
  border-top: thin solid gray;
}
 
div.announcements .title {
  font-weight: bold;
}
div.announcements .date {
  font-weight: bold;
  float: right;
  font-family: monospace;
}
div.announcements .body { clear: both; } /* Puts it vertically past floating date. */