html { background: #ffffff }
a:link {
    color: #000000;
    font-weight: bold;
    text-decoration: none;
}
a:visited {
    color: #800080;
    font-weight: bold;
    text-decoration: none;
}
a:hover, a:focus, a:active { color: #ff0000; }

a.functions { font-family: monotype; }

hr.page-break { margin-top: 0; }

img { border-style: none; }

p.copyright {
    text-align: center;
    margin-top: 0;
    margin-bottom: 0;
    font-size: 80%;
}

p.first { margin-top: 0; }

p.first:first-letter { font-size: 125%; }

.smaller { font-size: 80%; }

#top-nav {
    text-align: left;
}

#top-nav img {
    margin-right: 5px;
}

#header {
    text-align: center;
    position: relative;
}

#header h1 {
    font-size: 200%;
}

#main-content {
    width: 90%;
    margin-left: 5%;
    text-align: left;
}

#main-content a.intable {
    font-weight: normal;
}

#main-content dl.indented {
    padding-left: 10%;
}

#main-content dt.heading {
    font-weight: bold;
}

#main-content h2 {
    text-align: left;
    font-size: 150%;
    margin-bottom: 0;
}

#main-content h2.functions {
    text-align: center;
    font-size: 150%;
    font-family: monotype;
}

#main-content h3 {
    text-align: left;
    font-size: 125%;
    margin-bottom: 0;
}

#main-content h3.bugfixes {
    font-family: courier, monospace;
}

#main-content h3.functions {
    text-align: center;
    font-size: 115%;
    font-family: helvetica, arial, san-serif;
}

#main-content h4 {
    font-size: 115%;
    margin-bottom: 0;
    padding-left: 10%;
    padding-right: 10%;
}

#main-content h4.bugfixes {
    text-align: left;
    font-size: 110%
    margin-bottom: 0;
    margin-top: 0;
    padding-left: 0;
    padding-right: 0;
}

#main-content li.nested {
    list-style: none;
    display: inline;
}

#main-content li.nobullet {
    list-style: none;
}

#main-content p.first {
    margin-top: 0;
}

#main-content p.indented {
    padding-left: 10%;
    padding-right: 10%;
}

#main-content table.functions {
    width: 70%;
    margin-left: 15%;
    margin-right: 15%;
    text-align: center;
}


#main-content table.indented {
    width: 80%;
    margin-left: 10%;
    margin-right: 10%;
}

#main-content table.paragraph {
    margin-left: 5%;
}

#bottom-nav {
    text-align: center;
}

#bottom-nav table {
    width: 30%;
    margin-left: auto;
    margin-right: auto;
    text-align: center;
}

#bottom-nav td {
    width: 25%;
}

#update-stamp {
    text-align: center;
    font-size: 75%;
}

#update-stamp p {
    margin-top: 0;
    margin-bottom: 0;
}