body {
    font-size: 16px;
    line-height: 24px;
    background: #efeee6;
    color: #252519;
    font-family: "Palatino Linotype", "Book Antiqua", Palatino, FreeSerif, serif;
}
div.main {
    position: absolute;
    width: 580px;
    margin: 0 0 50px 0;
    top: 20px;
    left: 270px;
}
div.side {
    position: absolute;
    width: 200px;
    font-size: 12px;
    margin: 0;
    top: 110px;
    left: 40px;
}
p, h1, h2, h3 {
    width: 560px;
}
ul {
    width: 535px;
    padding-left: 25px;
}
p.abstract {
    font-size: 12px;
    line-height: 1.4em;
    padding-left: 2em;
    display: none;
}
p.footer {
    margin-top: 4em;
    text-align: center;
}
span.detail, p.footer {
    font-size: 12px;
    color: #7f7959;
}
span.detail a, p.footer a {
    color: #7f7959;
    background-color: #e5e3d7;
}
.bibtex {
    display: none;
}
a, a:visited {
    padding: 0 2px;
    text-decoration: none;
    background: #d8d3ba;
    color: #252519;
}
a:active, a:hover, span.detail a:active, span.detail a:hover, p.footer a:active, p.footer a:hover {
    color: #000;
    background: #f0c095;
}
h1, h2 {
    margin-top: 40px;
}
h1 {
    font-size: 1.9em;
}
h2.sub {
    margin-bottom: -5px;
}
h3 {
    font-size: 18px;
    display: block;
    margin-top: 30px;
    margin-bottom: 0.2em;
}
code, pre {
    font-family: Monaco, Consolas, "Lucida Console", monospace;
    font-size: 12px;
    line-height: 18px;
    color: #555529;
    padding: 2px 0 2px 12px;
    border-left: 6px solid #d8d3ba;
    margin: 0px 0 30px;
}
span.nolink {
    border-bottom: 2px solid #d8d3ba;
}
p.email {
    font-family: Monaco, Consolas, "Lucida Console", monospace;
}