html {
    margin: 0;
    padding: 0;
    background-color: #223b55;
}

body {
    margin: 10px 100px;
    border: solid #035 2px;
    -moz-border-radius: 15px;
    border-radius: 15px;
    padding: 10px;
}

/* Navbar padding */
#mainnav :link, #mainnav :visited {
    padding: 0.2em 8px;
}

/* Links */
:link, :visited {
   color: #a64;
}

/* Additional links in Timeline */
dt em {
   color: #a64;
}

/* Underline titles */
h1 {
   border: 0px;
   border-bottom: solid #7ab 3px;
   padding-top: 10px;
   padding-left: 5px;
   margin-top: 1em;
   margin-bottom: .75em;
}

h2 {
   color: #444;
   border: 0px;
   border-bottom: solid #7ab 2px;
   display: inline;
   padding-top: 5px;
   padding-left: 5px;
   padding-right: 50px;
   margin-top: 1em;
   margin-bottom: .75em;
}

/* Put inlined code into boxes, like on stackexchange */
tt {
  background: #f7f7f7;
  border: 1px solid #d7d7d7;
  padding: 0em .25em;
}

/* Override for a menuplugin bug */
#mainnav {
   height: 19px;
}

#mainnav ul {
   font-size: 13px;
   /*font-weight: bold;*/
}

#mainnav .sf-with-ul {
   padding-right: 30px;
}

/* Get rid of the Trac footer, we don't care */
#footer {
   display: none;
   margin: 0;
   padding: 0;
}