h1,h2,h3,h4 {
    text-align: center;
    margin: 0.5em auto;
}
body {
    margin-left: auto;
    margin-right: auto;
    text-align: center;
    font-family: Courier, Monospace;
    word-wrap: normal;
}
/* some Stallman trickery for making mobile text bigger */
@media screen and (max-device-width: 480px) {
    body {
        font-size: 200%
    }
    .license {
        font-size: 75%;
    }
}
.navbar {
    text-align: center;
    max-width: 1000px;
    display: block;
}
.content {
    text-align: justify;
    max-width: 500px;
    display: inline-block;
}
.license {
    font-size: 65%;
    text-align: center;
    max-width: 350px;
    display: block;
}
p {
    margin-top: 0.75em;
    margin-bottom: 0.75em;
}

table {
    border-spacing: 0 10px;
}
td {
    text-align: left
}