body {
    background: #dddddd;
    margin: 0;
    padding: 0;
    font-family: Verdana, sans-serif;
}
#header, #content, #footer {
    background: white;
    margin: 0 20% 0 0;
    border-right: solid thin black;
}
#title, #subtitle, #content, #footer {
    padding: 0 1.5em;
}
#title {
    background: black;
    color: white;
    padding: 0.75em 2em;
}
#title p {
    margin: 0;
    font-weight: 400;
    font-size: 120%;
    font-family: Georgia, serif;
}
#subtitle {
    border-top: medium solid #dddddd;
    border-bottom: thin solid #dddddd;
}
#subtitle ul {
    display: inline;
    padding: 0;
}
#subtitle li {
    display: inline-block;
    border-left: thin dashed black;
    padding: 0.5ex;
    width: 18ex;
}
#subtitle li.current, #subtitle li:hover, #subtitle li:active {
    background: #dddddd;
}
#subtitle .issue {
    font-size: 120%;
    text-decoration: none;
}
#subtitle .issuedate {
    font-size: small;
}
#subtitle .headerlinks {
    float: right;
    margin: 0;
    display: inline;
}
#subtitle .headerlinks a {
    display: inline-block;
    margin: 0;
    width: 32px;
    height: 32px;
    padding: 1ex;
    background-repeat: no-repeat;
    background-position: center;
}
#subtitle .headerlinks a span {
    display: none;
}
#subtitle .headerlinks a:hover, #subtitle .headerlinks a:active {
    background-color: #dddddd;
}
#headerlink-about {
    background-image: url(/images/icon-about-32x32.png);
}
/*
#headerlink-about:hover, #headerlink-about:active {
    background-image: url(/images/icon-about-active-32x32.png);
}
#headerlink-lj {
    background-image: url(/images/icon-lj-32x32.png);
}
#headerlink-lj:hover, #headerlink-lj:active {
    background-image: url(/images/icon-lj-active-32x32.png);
}
*/
#headerlink-rss {
    background-image: url(/images/icon-rss-32x32.png);
}
/*
#headerlink-rss:hover, #headerlink-rss:active {
    background-image: url(/images/icon-rss-active-32x32.png);
}
*/
ul.toc, .toc ul {
    list-style-type: none;
    padding-left: 1em;
}
ul {
    list-style-type: square;
}
#content {
    padding-bottom: 1em;
}
#footer {
    padding-bottom: 2em;
}
a, a:visited {
    color: #002655;
    text-decoration: underline;
}
a:hover, a:active {
    color: #c70009;
    text-decoration: underline;
}
a img {
    border: none;
}
.aside {
    position: absolute;
    right: 0;
    left: 80%;
    padding: 0 1em;
    font-size: small;
}
.aside-long {
    float: right;
    width: 40%;
    margin: 1ex -25% 1ex 1em;
    padding: 0 1em;
    font-size: small;
	background: white;
    border: dotted thin black;
}
.author {
    font-size: small;
    color: #808080;
    padding-left: 1em;
    margin-top: 2ex;
}
.author a, .author a:visited {
    color: inherit;
    text-decoration: none;
}
.author a:hover, .author a:active {
    text-decoration: underline;
}
h1, h2, h3, h4 {
    font-family: Georgia, serif;
    font-weight: bold;
}
h1 {
    font-size: 150%;
    margin-top: 0;
    padding-top: 2ex;
}
h2, h3 {
    color: #002655;
}
h2 {
    font-size: 130%;
}
h3 {
    font-size: 120%;
    font-style: italic;
}
h4 {
    font-weight: bold;
    font-style: italic;
}
p.subh1 {
    margin-top: -2ex;
    font-size: small;
}
div.figure {
    width: 100%;
    text-align: center;
}
div.figure p {
    margin-top: 0;
    font-style: italic;
}
div.figure pre {
    text-align: left;
}
pre {
    border: none;
    background: #dddddd;
    padding: 1ex 1em;
    overflow: auto;
}
pre, code {
    font-family: Lucida Console, monospace;
}
pre.oneliner {
    white-space: pre-wrap;
}
pre strong, code strong {
    font-weight: inherit;
    color: #c70009;
}
p.copyright {
    display: inline;
    font-size: x-small;
    background: #dddddd;
}
.censored {
    color: #c70009;
    background: #c70009;
}
table {
    width: 100%;
    border: solid 2px black;
    border-collapse: collapse;
}
col, table.text tr {
    border: solid thin black;
}
tbody {
    border: solid 2px black;
}
td, th {
    padding: 0.5ex 0.5em;
}
td.code, th.code {
    font-family: Lucida Console, monospace;
}
td.num, th.num {
    text-align: right;
}
thead {
    background: #dddddd;
    text-align: center;
}
div.article {
    margin: 0 0 4ex 2em;
}
div.article .author {
    padding-left: 0;
    margin-top: -2ex;
}
div.article h2 {
    font-weight: normal;
    font-size: large;
}