html{font-family:sans-serif;color:#080808}

body{max-width:920px;margin:0 auto;padding:1rem}

h1 {
    margin-top:0;
    font-size:1.5rem;
    text-align: center;
}

h1 small{display:block;font-size:1rem}

article {
    margin: 0 auto;
    margin-top: 2em;
    max-width: 720px;  line-height: 1.3;
}

code{
    display: block;
    background-color: #f7f7f7;
    border: 1px solid grey;
    font-family: monospace, monospace;
    white-space: pre-line;
    margin-top: 1em;
    margin-bottom: 1em;
}

output {
    display: block;
    border: 1px dotted grey;
    white-space: pre-line;
    margin-top: 1em;
    margin-bottom: 1em;
}

comment{
    color: #008000;
    white-space: pre-line;
}

.whitespace{
    white-space: pre;
}

.end-note{
    margin-top: 1em;
}

img{ margin-top: 1em; margin-bottom: 1em}