body {
    font-family: sans-serif;
    background-color: #FFFFFF;
    color: #000000;
}

@media screen {
    body {        
        margin: 0;
        padding: 0;
    }
}


dfn {
    font-style: normal;
    font-weight: bold;
}


code {
    background-color: #FFF7CC;
}

kbd, code em {
    font-style: normal;
    color: #BD1789;
}

pre.markup, pre.prog, pre.term {
    padding: 0.5em;
    background-color: #FFF7CC;
    border: solid 1px #FFE5A4;
}

@media screen {
    pre.markup, pre.prog, pre.term {
        width: 80%;
        margin-left: auto;
        margin-right: auto;
    }
    
    td pre {
        width: auto !important;
    }
}


p.figure {
    text-align: center;
}

p.aligned {
    text-align: left !important;
}

div.float-figure {
    float: right;
    margin: 1em 0 1em 3em;
}


a:link {
    color: #2B5900;
}

a:visited {
    color: #559918;
}

a:active, a:hover {
    color: #C84127;
}


a img {
    border: 0;
}


ul > li {
    list-style-type: square;
}


.downplayed {
    font-size: smaller;
}


div#header {
    margin: 0;
    background-color: #EEEEEE;
    border-bottom: solid 1px #CCCCCC;
}

div#header > h1 {
    display: inline;
}

div#header > a > img {
    vertical-align: super;
}

div#footer {
    margin-top: 5em;
    color: #ABABAB;
}

div.doc-meta {
    float: right;
    margin: -3em 0 2em 2em;
    color: #AAAAAA;
}

div.doc-meta p {
    margin-top: 0;
    margin-bottom: 0.5em;
}

div#vanity-fair {
    color: #ABABAB;
    float: right;
    margin-top: -1em;
}

div#footer a:link, div#footer a:visited, div.doc-meta a:link,
div.doc-meta a:visited {
    color: #ABABAB;
}

div#vanity-fair a:link, div#vanity-fair a:visited {
    color: #ABABAB;
    text-decoration: none;
}

div#footer a:active, div#footer a:hover, div#vanity-fair a:active,
div#vanity-fair a:hover, div.doc-meta a:active, div.doc-meta a:hover {
    color: #C84127;
}

div#vanity-fair span {
    text-decoration: underline;
}

div#vanity-fair img {
    vertical-align: middle;
}

div.pub-index {
    margin-top: 5em;
}

.column {
    padding-bottom: 2em !important;
}

@media screen {
    div#header {
        padding: 1em 5em 1em 5em;
    }
    
    div#workspace {
        padding: 2em 5em 2em 5em;
    }
    
    .column {
        width: 45%;
        margin-right: 9% !important;
        vertical-align: top;
        display: inline-block;
    }
    
    .column + .column {
        margin-right: 0 !important;
    }
}


div.prominent {
    padding: 2em 2em 2em 2em;
    background-color: #FFEDDA;
}


table {
    width: 100%;
    border-collapse: collapse;
}

td, th {
    border: solid 1px #CCCCCC;
    padding: 0.5em;
}

th {
    background-color: #EEEEEE;
    text-align: left;
}

thead th {
    text-align: center;
}


div.aside {
    float: right;
    clear: right;
    margin-bottom: 2em;
    width: 25%;
}

div.toc {
    margin-top: 2em;
}

div.toc h2 {
    margin: 0;
}

div.toc ol {
    margin-bottom: 0;
}

@media screen {
    div.toc {
        border: solid 1px #CCCCCC;
        background-color: #EEEEEE;
        padding: 1em;
    }
    
    div.aside {
        margin-left: 5em;
    }
}


dl {
    margin-left: 2em;
}

dl > dd + dt {
    margin-top: 0.5em;
}

dl.links-list {
    padding: 0;
    margin: 0;
}

dl.links-list > dd + dt {
    margin-top: 1em;
}

dl.links-list > dd {
    margin-left: 0;
}

dl.prominent > dt {
    font-size: x-large;
}


a.heading-anchor:link, a.heading-anchor:visited, a.heading-anchor:active {
    color: #000000;
    text-decoration: none;
}

a.heading-anchor:hover {
    border-bottom: dashed 1px #000000;
}