html {
    height: 100%;
}
body {
    background-color: #999;
    max-width: 74em;

    margin-left: auto;
    margin-right: auto;
    margin-top: 0px;
    margin-bottom: 0px;

    padding: 0px;
    padding-top: 1px;
    padding-bottom: 1px;
}
div.frame {
    max-width: 45em;
    padding: 1em;
    margin: 0.5em auto;

    background-color: white;

    border-radius: 1em;
    border-radius: 1em;
    -moz-border-radius: 1em;
    -moz-border-radius: 1em;
}

div.sidebar {
    /*color: #AAA;*/
    opacity: 0.3;
}
div.sidebar:hover {
    color: inherit;
    opacity: inherit;
}

div.sidebar {
    background-color: white;
    float: right;
    width: 12em;

    padding: 0em 1em 0em 0.5em;
    margin: 6em 0em 1em;

    border-bottom-right-radius: 1em;
    border-top-right-radius: 1em;
    -moz-border-radius-bottomright: 1em;
    -moz-border-radius-topright: 1em;

    -moz-transition-property: opacity;
    -moz-transition-duration: 0.2s;
    -webkit-transition: opacity 0.2s linear;
    transition-property: opacity;
    transition-duration: 0.2s;
}
div.sidebar > ul {
    list-style-type: none;
    padding-left: 0px;
    margin-top: 0.5em;
}
div.sidebar ul ul {
    list-style-type: none;
    padding-left: 0em;
    font-weight: normal;
}
div.sidebar > ul.tags > li {
    padding-bottom: 1em;
    list-style: none;
    font-weight: bold;
}
div.sidebar ul.tags ul li,
div.sidebar ul.prevnext li {
    padding-left: 1.5em;
    padding-top: 0.5em;
}
div.sidebar ul.tags ul li:before,
div.sidebar ul.prevnext li:before {
    content: '\25C4';
    float: left;
    width: 1.5em;
    margin-left: -1.5em;
}
div.sidebar ul.tags ul li.next:before,
div.sidebar ul.prevnext li.next:before {
    content: '\25BA';
}

div.sidebar ul.prevnext li.up:before {
    content: '\25B2';
}
a.up:before {
    padding-right: 0.5em;
    content: '\25B2';
}

div.sidebar h3 {
    text-align: right;
    margin-bottom: 0em;
}


h1 {
    text-align: center;
    width: 100%;
    background-color: white;

    margin-left: auto;
    margin-right: auto;
    margin-bottom: 0px;
    margin-top: 0.5em;

    text-shadow: #AAA 0.1em 0.1em 0.2em;
}

#content {
    padding: 1em;
}

.comments {
    margin: 0em 1em;
    padding-top: 1em;
    border-top: 1px solid grey;
    text-align: center;
}
.comments p {
    margin: 0px;
}

ul.toc:before {
    content: 'Table of contents';
    display:block;
    text-align: center;
    padding-bottom: 1ex;
    border-bottom: 1px solid #BBB;
    color: #555;
}
ul.toc {
    width: 60%;
    margin-left: auto;
    margin-right: auto;
    list-style-type: none;
    padding-left: 0em;
    padding-top: 0.5em;
    padding-bottom: 1em;

    background-color: #EEE;
    border: 1px solid #BBB;
    border-radius: 0.5em;
    -moz-border-radius: 0.5em;
}
ul.toc > li {
    padding-top: 1ex;
    padding-left: 2em;
}
ul.toc li ul {
    list-style-type: none;
}



.question {
    margin-left: auto;
    margin-right: auto;
    width: 45em;
    background-color: #FAA;
    margin-top: 4em;
    padding: 4px 1em;
    border-radius: 1em;
    border-radius: 1em;
    -moz-border-radius: 1em;
    -moz-border-radius: 1em;

}

/* show IDs for anchors */
h1[id]:hover a.anchorlink:before,
h2[id]:hover a.anchorlink:before,
h3[id]:hover a.anchorlink:before,
h4[id]:hover a.anchorlink:before,
h5[id]:hover a.anchorlink:before,
h6[id]:hover a.anchorlink:before {
    content: "\00B6";/* pilcrow */
    color: #888;
    font-size: smaller;
}
a.anchorlink {
    text-decoration: none;
    margin-left: 0.5em;
    font-size: smaller;
}

h3 {
    margin-left: 1em;
}

pre {
    padding: 1em;
    background-color: #EEE;
    border: 1px solid #BBB;
    width: auto;
    border-radius: 0.5em;
    -moz-border-radius: 0.5em;
}
body.index pre {
    border: none;
    background-color: inherit;
    padding: 0em;
}
body.index h2 {
    margin: 1em 0em;
}
tt, code {
    background-color: #DDD;
    padding: 0.2ex;
}

blockquote {
    margin-left: 1em;
    border-left: 2px solid #AAA;
    padding: 0.2em;
    padding-left: 1em;
    background-color: #EEE;
}
blockquote blockquote {
    background-color: #FFF;
}
kbd {
    background-color: #EEE;
    border: 1px outset #BBB;
    padding: 1px 2px;
}

table.numbers tbody td {
    text-align: right;
}
table.numbers tbody th {
    text-align: left;
}

a[href^="http://"]:after,
a[href^="https://"]:after {
    content: '\279A';
}