body {
    max-width: 42em;
    line-height: 1.4;
    margin: 0pt 2em;
}
h1, h2, h3, h4 {
    color: darkblue;
    line-height: 1.2;
}
h2.withlink { display: inline; }
p, pre { margin-left: 2em }
p.left { margin-left: 0pt }
p.bordered {
    margin-left: .5em;
    border-left: cyan solid .5em;
    padding-left: .5em
}
ul {
    padding-left: 0pt;
    list-style-type: none;
}
ul li {
    margin-bottom: 1ex;
    margin-left: .5em;
    border-left: cyan solid .5em;
    padding-left: .5em;
}
li ul {
    list-style-type: square;
}
ul ul li {
    margin-top: 1ex;
    margin-bottom: 1ex;
    margin-left: 2em;
    border-left: 0pt;
    padding-left: 0pt;
}
.news dt {
    float: left;
    width: 7em;
    margin-left: 2em;
    font-weight: bold;
}
.bibtex dt {float: left;}
.news dd {
    margin-left: 9em;
    padding-left: 0;
    padding-bottom: 1ex
}
address.displayed { margin-left: 4em }
address.inline { display: inline }
li:target {
    border-left: darkblue solid .5em;
}
div.illinks { position: fixed; right: 1em; font-weight: bold; text-align: right }
div.more {
    display: inline;
    font-weight: bold;
    margin-left: 1em;
}
pre.pgp { margin: 0pt }
a.section { text-decoration: none; font-weight: bold; padding: .5ex; border: thin solid blue }