header .topnav {
    display: block;
    margin: 0px;
    background-color: #440077;
    width: auto;
    color: white;
    padding: 4px 1em;
}
header .topnav a,header .topnav a:active {
    padding: 3px 0.5em;
    margin-top: 0px;
    margin-bottom: 0px;
    margin-left: 0.5em;
    margin-right: 0px;
    color: white;
    text-decoration: none;
}
header .topnav a:hover,header .topnav a:focus {
    background-color: #A040B0;
}
.subnav {
    display: block;
    margin: 0px;
    background-color: #7020B0;
    width: 95%;
    color: white;
    padding: 4px 1em;
}
body {
    margin: 0px;
    padding: 0px;
    font-family: "ORegular", sans-serif;
    background-color: white;
}
strong,b {
    font-family: "OBold", sans-serif;
}
em,i {
    font-family: "OItalic", sans-serif;
    font-style: italic;
}
main {
    margin: 1em;
}
h1,h2,h3 {
    color: #440077;
}
a {
    color: #440077;
    text-decoration: none;
}
a:hover,a:focus {
    text-decoration: underline;
}
table.bigtable {
    width: 95%;
    border-collapse: collapse;
    border-bottom: 1px #440077 solid;
}
table {
    border-collapse: collapse;
    border-bottom: 1px #440077 solid;
}
table thead {
    background-color: #440077;
    color: white;
    margin: 0px;
}
table tbody tr {
    height: 1.2em;
}
table tbody tr:nth-child(even) {
    background-color: #F0E0FF;
}
table th,table td {
    margin: 0px;
    border: #440077 1px solid;
    border-bottom: 0px;
    border-top: 0px;
    font-weight: normal;
    padding-left: 2px;
    padding-right: 2px;
    padding-top: 2px;
}
table p {
    margin: 0px;
}
div.wrapper {
    max-width: 1200px;
}
table.nodecor {
    border: none;
    background-color: none;
    width: 100%;
}
table.nodecor th,table.nodecor td {
    border: none;
    padding-right: 30px;
    padding-top: 10px;
    padding-bottom: 10px;
}
h2 + table.nodecor {
    margin-top: 1em;
}
p.fixedwidth {
    max-width: 1200px;
}
footer {
    display: block;
    border-top: #440077 solid 1px;
    width: 95%;
    text-align: center;
    font-size: 10pt;
    color: #404040;
    margin-bottom: 0.5em;
}
section.header {
    color: #808080;
    font-size: 12pt;
    font-variant: small-caps;
    margin-top: -1em;
}
.space {
    display: inline-block;
    width: 1em;
}
.divider {
    padding-left: 1em;
    padding-right: 1em;
}
span.grayed {
    color: #808080;
    font-size: 10pt;
}
span.source {
    color: #808080;
    font-size: 10pt;
}
h2 {
    margin-bottom: -0.5em;
}
h2.nomargin {
    margin-bottom: 0em;
}
@media (max-width: 601px)  {
    .nomobile {
        display: none;
    }
    .break {
        display: block;
        padding: 0px;
        width: 0px;
        height: 0px;
        margin: 0px;
        visibility: hidden;
    }
}