body {
    font-family: sans-serif;
    line-height: 1.6;
    margin: 0;
    background-color: #f6f6f6;
    color: #202122;
}

.top-nav {
    background-color: #f8f9fa;
    border-bottom: 1px solid #a2a9b1;
    padding: 0.5em 10%;
    text-align: right;
}

.top-nav a {
    color: #0645ad;
    text-decoration: none;
    font-size: 0.9em;
}

.top-nav a:hover {
    text-decoration: underline;
}

#main-content {
    width: 80%;
    max-width: 960px;
    margin: 1em auto 2em auto;
    background-color: #fff;
    border: 1px solid #a7d7f9;
    padding: 2em;
}

h1,
h2,
h3 {
    border-bottom: 1px solid #a2a9b1;
    padding-bottom: 0.3em;
    font-weight: normal;
    font-family: 'Linux Libertine', 'Georgia', 'Times', serif;
}

h1 {
    font-size: 1.8em;
    margin-top: 0;
}

h2 {
    font-size: 1.5em;
}

.infobox {
    float: right;
    width: 280px;
    border: 1px solid #a2a9b1;
    background-color: #f8f9fa;
    padding: 1em;
    margin-left: 1em;
    margin-bottom: 1em;
    font-size: 0.9em;
}

.infobox th,
.infobox td {
    text-align: left;
    vertical-align: top;
    padding: 0.3em 0;
}

.infobox th {
    width: 100px;
}

.infobox caption {
    font-size: 1.2em;
    font-weight: bold;
    margin-bottom: 0.5em;
}

.toc {
    border: 1px solid #a2a9b1;
    background-color: #f8f9fa;
    padding: 1em;
    display: table;
    margin-bottom: 1.5em;
}

.toc ul {
    list-style: none;
    padding-left: 0;
    margin: 0;
}

.toc>ul>li {
    margin-bottom: 0.5em;
}

.toc a {
    text-decoration: none;
    color: #0645ad;
}

.toc.tocnumber {
    margin-right:.3em;
}

blockquote {
    border-left: 4px solid #ccc;
    padding-left: 1em;
    margin-left: 0;
    font-style: italic;
}