html, body {
  padding: 0;
}

body {
  font-family: Helvetica, Arial, Sans-serif;
  color: #555;
  line-height: 130%;
  font-size: 14px;
  margin: 10px 10px 5px 10px;
}

a {
  color: #555;
  text-decoration: none;
}

a.b,
span.b {
  font-weight: bold;
}

#main {
  margin-right: 170px;
  height: 100%;
  padding: 0;
}

#title {
  font-size: 1.5em;
  font-weight: bold;
}

/* Even though we use tables for most pages, we don't for error pages, hence we need to
 * keep this guy around.
 */
#nav {
  float: right;
}

p {
  margin-top: 0;
  padding-top: 0;
}

form {
  margin-bottom: 12pt;  
}

.hl {
  background-color: #fffeb7;
}

.hidden {
  visibility: hidden;
  display: none;
}