h1 {
        margin-right: 0%;
        margin-left: 0%;
        margin-top: 0%;
        text-align: center;
        padding: 0.5em 0.5em;
        color: #ffffff;
        text-indent: 0.25em;
        border-style: none;
        background-color: #043040;
}
h2 {
        margin-right: 0%;
        margin-left: 0%;
        text-align: left;
        padding: 0.3em 0.3em;
        color: #ffffff;
        text-indent: 0.25em;
        border-style: none;
        background-color: #409030;
}
h3 {
        margin-right: 0%;
        margin-left: 0%;
        text-align: left;
        padding: 0.2em 0.2em;
        color: #ffffff;
        text-indent: 0.25em;
        border-style: none;
        background-color: #23648e;
}
pre {
        font-family: monospace;
        border-style: solid;
        border-width: 1px 2px 2px 1px;
        border-color: #6666aa;
        color: #444466;
        background-color: #e8e8ff;
        white-space: pre;
        margin-right: 4.0em;
        margin-left: 3.5em;
        padding: 0.5em 2em;
}
a {
        text-decoration: none
}