/* --------------------------- NOTICE ------------------------- */

.notice
{
    padding-bottom: 1em;
}

/* ---------------------------- FORM -------------------------- */

.searchform
{
    padding-top: 2em;
    padding-bottom: 0.5em;
    padding-left: auto;
    padding-right: auto;
    text-align: center;
    border-top: 1px solid #CF8029;
}

.searchform form
{
    margin-left: 5em;
}

.searchform .submit
{
    display: inline;
    width: 5em;
}

.searchform fieldset
{
    border: none;
    padding: 1em;
    margin-right: 5em;
}

/* ----------------------- VERSION STAMP ---------------------- */

.versionstamp
{
    position: relative;
    top: -2em;
    font-size: xx-small;
    float: right;
    color: #999;
}

/* --------------------------- GENERAL ------------------------ */

table
{
    padding-left: 3em;
}

table td
{
    padding-right: 2em;
}

li
{
    font-weight: normal;
}

.example
{
    background-color: #F6F6F6;
    border: 1px dashed #1A5187;
    margin-top: 1.5em;
    margin-bottom: 0.5em;
    margin-left: 3em;
    margin-right: 3em;
    padding-top: 0.5em;
    padding-bottom: 1em;
    padding-left: 1.5em;
    padding-right: 1.5em;
}

.example code,
.example pre
{
    background-color: #EEE;
}

.example h3
{
    font-size: 1em;
}

.example h3 tt
{
    font-family: Helvetica, Verdana, Arial, sans-serif;
    font-weight: normal;
    color: #12416C;
}

.compact
{
    padding: 0px;
    margin: 0px;
    margin-left: 2.5em;
    margin-right: 5em;
    line-height: 1.2em;
}

.compact dd
{
    margin: 0px;
    margin-right: 5em;
    padding: 0px;
    padding-left: 5.5em;
    padding-bottom: 0.5em;
}

.compact dt
{
    text-align: right;
    padding-right: 1em;
    max-width: 4.5em;
    position: relative;
    top: 1.5em;
}

.compact i
{
    font-weight: bold;
}

/* ---------------------------- PAGE -------------------------- */

li.section
{
    font-weight: bold;
}

li.subsection
{
    font-weight: normal;
    line-height: 1.5em;
}

hr.detailsep
{
    margin-top: 2em;
    margin-bottom: 2em;
}

div.contents
{
    padding-top: 1em;
    padding-bottom: 2em;
    margin-bottom: 2em;
    border-bottom: 1px solid #CF8029;
}

div.contents h4
{
    margin: 0px;
    margin-bottom: 1em;
}

/* --------------------------- INDEX -------------------------- */

ul.topindex
{
    padding: 1em;
    padding-bottom: 0px;
    margin-left: auto;
    margin-right: auto;
    line-height: 3em;
    width: 39em;
    height: 9em;
}

.topindex li
{
    padding: 0px;
    margin: 0px;
    width: 3em;
    font-weight: bold;
    float: left;
}

ul.index
{
    padding: 0px;
    margin: 1em;
    margin-top: 1.5em;
    margin-bottom: 1.5em;
}

ul.subindex
{
    padding-left: 1em;
    margin-left: 1.5em;
    border-left: 1px dotted #1A5187;
}

.index li
{
    font-weight: bold;
    line-height: 2em;
    padding-left: 1em;
    text-indent: -1em;
}

.subindex li
{
    padding: 0px;
    margin: 0px;
    font-weight: normal;
    line-height: 1.5em;
}

.subindex .example
{
    background: transparent;
    border: 0px;
    margin: 0px;
    padding: 0px;
}

/* -------------------------- AUTHORS ------------------------- */

.authors
{
    padding: 2em;
}

.authors .chapter
{
    margin-top: 1em;
    padding: 0.5em;
    background-color: #F6F6F6;
    border-top: 1px solid #CF8029;
}

.authors .author
{
    padding-left: 1em;
    padding-right: 1em;
}

/* ------------------------ BIBLIOGRAPHY ---------------------- */

.bib
{
    margin: 1em;
}

.bib dd
{
    margin: 0px;
    margin-left: 1em;
}

.bib dt
{
    font-weight: bold;
}