body {
    line-height: 140%;
    margin: auto;
    padding: 0px 30px;
    padding-bottom: 50px;
    vertical-align: middle;
    max-width: 1000px;
}

code {
    font-family: monospace, monospace;
}


pre code {
    background-color: #eee;
    border: 1px solid #999;
    display: block;
    padding: 10px 20px;
}

details {
    background-color: #eee;
    border: 1px dotted #999;
    border-radius: 4px;
    padding: 10px 20px;
}

table {
    border: 1px solid;
}

td, th {
    border: 1px solid;
    padding: 0.25em 0.5em;
}