div.sidebar {
    float: right;
    width: 40%;
    border: 1px solid black;
    margin: .5em;
    padding: .5em;
    background: #fff;
}

/* blatantly stolen from debathena.mit.edu without permission */

h1 {
    border-bottom: 1px dashed black;
    margin-top: 0;
    overflow: auto;
}
h1, h2, h3, h4, h5, h6 {
    font-family: "Trebuchet MS", Trebuchet, Sans, sans-serif;
    font-weight: bold;
    color: #036
}
kbd, dt {
    font-weight: bold;
}
html {
    font-size: 87.5%;
}
body {
    font-family: Tahoma, Sans, sans-serif;
}
pre, code, samp, kbd, tt {
    font-family: "Bitstream Vera Sans Mono", "Luxi Mono", Consolas, "Andale Mono", Monaco, "Courier New", monospace;
    font-size: 100%;
}
:link {
    color: #06c;
}
:visited {
    color: #039;
}
#logo {
    float: right;
    margin: -1em -1em 0 0;
}
:link img, :visited img {
    border: none;
}
.linkicon {
    vertical-align: middle;
    margin-right: .25em;
}
.navlinks {
    margin: 0;
    padding: 0 2em;
}
.navlinks li {
    list-style-type: none;
}
.navlinks .linkicon {
    margin-right: 1em;
}
p, li, dd {
    line-height: 1.5em;
}
.long li, .long dd {
    margin-bottom: .5em;
}
.short dt {
    clear: both;
    float: left;
    min-width: 28em;
}
.short dd {
    margin-left: 28em;
    line-height: 1.1em;
    margin-bottom: .5em;
}
pre {
    background: #f6f6f6;
    border: 1px solid #ddd;
    -moz-border-radius: .4em;
    border-radius: .4em;
    padding: .125em;
    line-height: 1.25em;
}
.note {
    background: #ffd;
    border: 1px solid #eea;
    -moz-border-radius: .4em;
    border-radius: .4em;
    padding: .25em;
}
a:link, a:visited {
    text-decoration: none;
}
a:link:hover, a:visited:hover {
    text-decoration: underline;
}
var {
    color: #090;
}
.index h1 tt {
    font-size: 83%;
}
.index table {
    border-collapse: collapse;
}
.index table td {
    padding: 0 0.5em;
}
.index table td a {
    font-family: "Bitstream Vera Sans Mono", "Luxi Mono", "Courier New", monospace;
}
.clear {
    clear: both;
}

html {
    background: #069;
    padding: .75em;
}
body {
    position: relative;
    max-width: 66em;
    margin: 0 auto;
    padding: 1em;
    border: 1px solid black;
    -moz-border-radius: .7em;
    border-radius: .7em;
    background: #fff;
}