body {
    font-family: "Nimbus Sans L", sans-serif;
    background: white;
    margin: 2em 1em 2em 1em;
}

h1, h2, h3 {
    font-weight: bold;
    color: #005aa0;
}

h1 {
    font-size: 180%;
}

h2 {
    font-size: 130%;
    margin-top: 1em;
}

h3 {
    font-size: 100%;
}

table {
    empty-cells: show;
    border-collapse: collapse;
    border-spacing: 0px;
}

tr.odd {
    background: #f4f4ff;
}

th {
    text-align: center;
    font-weight: bold;
    background: #ffffc0;
}

td, th {
    padding: 2px 5px;
    border: solid black 1px;
}

td {
    vertical-align: top;
}

td.centered {
    text-align: center;
}

a {
    text-decoration: none; 
}

a:hover, a:visited:hover {
    text-decoration: underline;
}

a:link { color: #0048b3; }
a:visited { color: #002a6a; }
a.no-hover:hover { background: none; }

img {
    border-style: none;
}

li {
    margin-top: 0.5em;
    margin-bottom: 0.5em;
}

pre {
    margin-left: 1.5em;
    margin-right: 1.5em;
}

pre.code {
    border: 1px solid #6185a0;
    padding: 6px 6px;
    color: #600000;
    background: #f4f4f8;
}

/* Consistent font size for monospaced elements.  See
   http://meyerweb.com/eric/thoughts/2010/02/12/fixed-monospace-sizing/ */
tt, code, pre {
    font-family: monospace, sans-serif;
    font-size: 95%;
}