/* stylesheet for online documentation */

#doc .navheader .title {
    font-weight: bolder;
    font-size: 24px;
    background-color: white;
    }

#doc a {
    text-decoration: none;
    }

#doc .navtitle {
    font-weight: bolder;
    font-size: 18px;
    margin-bottom: 10px;
    padding-top: 10px;
    }

#doc .breadcrumbs {
    margin-bottom: 10px;
    }

#doc .breadcrumbs a {
    text-decoration: underline;
    }

#doc .navcontrols {
    margin-top: 10px;
    margin-bottom: 10px;
    }

#doc .xref {
    text-decoration: underline;
    }

#doc .mediaobject {
    margin-bottom: 10px;
    }

#doc .navfooter {
    margin-top: 10px;
    }

#doc .title {
    background-color: white;
    font-size: 14px;
    }

#doc .titlepage h2 {
    font-size: 16px;
    }

#doc ol, #doc ul {
    list-style-position: inside;
    padding-left: 8px;
    }

#doc .toc dl dt {
    padding-left: 16px;
    }

#doc .toc a {
    text-decoration: none;
    }

#doc .toc dt .section a {
    font-size: 14px;
    padding-left: 24px;
    }

#doc .toc dt .chapter a, #doc .toc dl dt a {
    line-height: 1.5;
    font-size: 18px;
    }