body {
    font-family:Times,"Times New Roman",serif;
    color:#000;background-color:#fff;
    font-size:18px;
    max-width:1000px;
    padding-top:5ex;
    padding-bottom:5ex;
    padding-left:5vw;
    padding-right:5vw;
    margin:auto
}
img {
    max-width:100%;
    vertical-align:middle
}
p, dd, li {
    line-height:1.5
}
h1 {
    text-align:center
}
nav {
    text-align:right
}
table {
    margin-left:auto;
    margin-right:auto;
}
td {
    width:40%;
    height:4lh;
    text-align:center;
    font-weight:bold;
    font-size:x-large;
}
pre {
    font-size:smaller;
}
dt {
    font-weight:bold;
}