body {
    margin: 1em 1em 1em 1em;
    background-color: #f7f7f7;
    color: black;
    font-family: sans-serif;
}

li {
    list-style-type: disc;
}

a {
    color: #001a87;
    color: #02a;
    text-decoration: none;
}

a:hover {
    color: #3958da;
    text-decoration: underline;
    cursor: pointer;
}

h1, h2, h3 {
    font-family: georgia, times, "times new roman", serif;
}

h1 {
    font-size: 220%;
    margin: 0 0 0 0;
}

h2 {
    font-size: 150%;
    margin: 1em 0 1em 0;
    padding: 0.1em 0 0.1em 0.2em;
    background-color: #bfcbdb;
    border-radius: 2px;
    border: 1px solid #aebdd2;
}

h3 {
    font-size: 130%;
    margin: 1em 0 1em 0;
    padding-left: 0.2em;
}

p, li {
    line-height: 140%;
}

code, pre {
    font-family: monospace;
    background-color: #f2f2f2;
    padding: 0.0em 0.2em 0.2em 0.0em;
    border: 1px solid #e6e6e6;
}

pre {
    box-shadow: 0 2px 2px rgba(0, 0, 0, 0.3);
}

.footnote {
    font-size: 80%;
    line-height: 100%;
}

.contribute {
    font-size: 80%;
    font-style: italic;
}

ul.news {
    padding: 0;
}

ul.news li {
    list-style-type: none;
    margin: 0;
}

blockquote {
    font-style: italic;
}

table {
    border-spacing: 0.3em;
    border-collapse: collapse;
}

th {
    text-align: left;
    background-color: #eee;
    border: 1px solid #ddd;
    padding: 0.2em;
}

th.empty {
    background-color: #fff;
    border: 0;
}

td {
    background: #f7f7f7;
    border: 1px solid #ddd;
    padding: 0.2em;
}

td.num {
    text-align: right;
}

.support-level-a {
    background: #091;
    color: #fff;
    text-align: center;
}

.support-level-b {
    background: #6a906e;
    background: #93ad96;
    color: #fff;
    text-align: center;
}

.support-level-c {
    background: #910;
    color: #fff;
    text-align: center;
}

td.text {
    text-align: left;
}

#navigation {
    float: left;
    border-radius: 4px;
    width: 14em;
    background-color: #fff;
    padding: 0.5em;
    margin: 0;
    box-shadow: 0 0 2px rgba(0, 0, 0, 0.3);
}

#navigation a {
    color: #182c7c;
}

#navigation a:hover {
    color: #3958da;
}

#navigation div.group {
    font-family: sans-serif;
    font-weight: bold;
    font-style: italic;
    padding: 0;
    margin: 1em 0 0 0;
}

#navigation ul {
    list-style: none;
    margin: 0;
    padding: 0;
}

#navigation li {
    text-align: left;
    margin: 0 0 0 1.5em;
    padding: 0;
    list-style-type: disc;
}

#navigation li.current {
    font-weight: bold;
}

#navigation li.level2 {
    margin-left: 2.5em;
    font-size: 80%;
    list-style-type: none;
}

#navigation li a {
    margin: 0;
}

#banner {
    font-family: georgia, times, "times new roman", serif;
    margin: 0 0 1em 0;
}

#banner a {
    text-decoration: none;
    color: #000;
}

#content {
    background-color: #fff;
    margin-left: 16em;
    border-radius: 4px;
    padding: 1em;
    box-shadow: 0 0 2px rgba(0, 0, 0, 0.3);
}