body {
    margin-right: auto;
    margin-left: auto;
    margin-top: 1em;
    background: #fffff8;
    max-width: 60em;
    font-family: sans;
}

pre {
    background: #e3edef;
    padding: 0.2em;
    border: 1px solid #a9b0b2;
    border-radius: 0.2em;
}

.small-indent {
    padding-left: 1em;
}

.note {
    display: inline-block;
    background: #e4e8ba;	
    padding: 0.2em;
    border: 1px solid #807844;
    border-radius: 0.2em;
    margin-top: 0.2em;
}

.code-name {
    font-family: monospace;
    font-style: normal;
    font-weight: bold;
    color: #493a18;
    background: #eccfd7;
    border-radius: 0.2em;
    padding-left: 0.1em;
    padding-right: 0.1em;
}

a {
    color: #9b7569;	
}

.navbar {
    display: inline-block;
    width: 10em;
    background-color: #ffa;
    vertical-align: top;
    margin-top: 5em;
    border: 2px solid #f4bf42;
    border-radius: 0.5em;
    padding: 0.5em;
    position: relative; /* over box shadow */
}

.navbar_info {
    font-size: 80%;
}

.content-box {
    display: inline-block;
    width: 45em;
    vertical-align: top;
    box-shadow: 0 0.8em 2em #000;
    margin-left: 1em;
}

.content {
    padding-left: 1em;
    padding-right: 1em;
}

h1, h2, h3 {
    font-stretch: condensed;
}

.content h3 {
    margin-bottom: 0.1em;
}

.content hr {
    margin-top: 0.1em;
}

.main-title {
    background-color: #999;
    padding: 0.5em;
}

.main-title h1 {
    margin-top: 0;
    margin-bottom: 0;
    margin-left: auto;
    margin-right: auto;
    text-align: center;
    color: #dfd8d8;
}