html {
    margin: 0;
    padding: 0;
}

body {
    font-family: sans-serif;
    color: #111111;
    margin: auto;
    max-width: 600px;
    padding: 0em 2em;
}

h1, h2, h3, h4, h5, h6 {
    font-weight: normal;
    margin: 2em 0em 0.5em 0em;
}

h1 {
    font-size: 2.5em;
}

h2 {
    font-size: 2em;
}

h3, .sectionHead, .likesectionHead {
    font-size: 1.5em;
}

p {
}

a {
    text-decoration: none;
}

a:visited, a:active, a:link {
    color: #BB1111;
}

a:hover {
    text-decoration: underline;
    background-color: #BB111111;  /* Add alpha */
}

code {
    background-color: #F3F5F7;
    font-family: monospace;
}

pre, .verbatim {
    border: 1pt solid #AEBDCC;
    background-color: #F3F5F7;
    padding: 0.5em;
    font-family: monospace;
    overflow:auto;
    margin: 1.2em;
}

.title, .subtitle {
    text-align: center;
    margin-bottom: .2em;
}

.subtitle {
    margin-top: 0;
    font-weight: bold;
}

.hint {
    font-size: 0.8em;
    color: gray;
}

#postamble {
    margin: 5em 0em 2em 0em;
    font-size: 0.8em;
}

#footnotes, .footnotes, .text-footnotes, .footdef {
}

.footpara {
    display: inline-block;
}

.footpara p {
    margin: 0.25em;
}

/* .headerlink h*:hover combinations are based on the Python and Yocto
   documentation CSS.  Show a permalink paragraph symbol, if the mouse
   is over the headline.  */
h1:hover .headerlink, h2:hover .headerlink, h3:hover .headerlink, h4:hover .headerlink, h5:hover .headerlink, h6:hover .headerlink {
    display: inline;
    color: gray;
}

a.headerlink {
    display: none;
    color: gray;
    font-size: 0.8em;
    padding: 0 0.2em 0 0.2em;
}

a.headerlink:hover {
    color: #BB1111;
}