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: #529;
}
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", "Courier New", monospace;
    font-size: 100%;
}
#logo {
    float: right;
    margin: -1em -1em 0 0;
}
#logo img {
    border: none;
}
p, li {
    line-height: 1.5em;
}
.long li, .long dd {
    margin-bottom: .5em;
}
pre {
    background: #f6f6f6;
    border: 1px solid #ddd;
    padding: .125em;
    line-height: 1.25em;
}
.note {
    border: 1px solid #eea;
    background: #ffd;
    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;
}