body {
    font-family:Times,"Times New Roman",serif;
    font-size:18px;
    background: #333 url(david-eppstein-publications.svg);
    background-size: 1000px;
}
div {
    background-color:#FFF;
    max-width:1000px;
    border-style:solid;
    border-color:#000;
    border-width:1px;
    margin-top:3lh;
    margin-bottom:3lh;
    margin-left:auto;
    margin-right:auto;
    padding-left:3em;
    padding-right:3em;
    padding-top:1.5em;
    padding-bottom:1.5em;
}
p {
    line-height:1.5;
}
code, pre {
    font-size:smaller;
}
h1, h2 {
    text-align:center;
}
ul a {
    padding-top:15px;
    padding-bottom:15px;
}