body {
    color: black;
    background-color: #dcdcdc;
    margin: 4ex;
}
H1 {
    font-size: 200%;
    text-align: center;
}
H2 {
    font-size: 130%;
    text-align: left;
}
.auth {
    font-size: 70%;
    margin-left: 2ex;
}
.jimg {
    border-style: none;
    margin: 0em 1em 1em 0em;
}
.tt {
    font-family: monospace;
}