* {
  margin: 0;
  padding: 0; }

html, body {
  height: 100%;
  min-width: 980px;
  min-height: 590px; }

body#home {
  margin: 0;
  padding: 0; }

object {
  margin-bottom: -4px;
  focus-outline: none; }

h2, h3, h4 {
  margin: 0.6em 0 0.2em 0; }

body {
  font-family: "Helvetica Neue", helvetica, arial, sans-serif;
  font-size: 12px;
  background-color: white;
  padding: 10px; }
  body p {
    margin: 1em 0 0.25em 0; }
  body ul {
    list-style: none;
    margin: 1em 0 0.5em 0;
    padding-left: 1em; }
    body ul li.home {
      margin-bottom: 0.6em; }
  body ul#large-list li {
    line-height: 2em; }
  body ul#large-list li p.currently-used-in {
    line-height: normal; }
  body ul ul {
    padding-left: 2em;
    padding-bottom: 1em;
    margin-top: 0.5em; }

#logo {
  width: 43px;
  height: 42px; }
  #logo a {
    display: block;
    width: 43px;
    height: 42px;
    text-indent: -9999px;
    background: url("/images/52logo.gif") 0 0 no-repeat; }