/* Website CSS */

body {
    background-color: white;
    margin-left: 5px;
    margin-right: 5px;
    margin-top: 5px;
    padding-left: 1em;
    padding-right: 1em;
    padding-top: 0;
}

h1,h2,h3,h4,h5 {
    font-family: arial, helvetica, sans-serif;
}

.header {
    background-color: white;
    font-family: arial, helvetica, sans-serif;
    margin-top:0;
    padding-left: 5px;
    padding-top: 10px;
}

.header h1 {
    color: white;
    font-family: Arial, sans-serif;
    font-size: 24pt;
    margin-bottom:0;
    margin-top:0;
    padding-bottom:0;
    padding-top:0;
}

.header h1 span.site {
    font-size: 12pt;
}

.header .tagline { 
    color: #F2F3F5;
    font-family: serif;
    font-style: italic;
    margin-right: 30px;
    position: absolute;
    right: 10px;
    text-align: right;
    top: 35px;
}

article {
    border-bottom: 1px solid #999;
    border-left: 1px solid #999;
    border-right: 1px solid #999;
    border-top: 1px solid #999;
    padding-left: 10px;
    padding-right: 140px;
}

.subscribe {
    font-size: 10px;
}

footer  {
    border-top: solid #AAAAAA 1pt;
    color: #AAAAAA;
    font-size: 8pt;
    padding-top: 4px;
    position: absolute;
    text-align: center;
    visibility: visible;
}

.admonition {
    border: solid 1px #AAAAAA;
    margin-left: 20px;
    margin-right: 20px;
    padding-left: 5px;
    padding-right: 5px;
}

.admonition .admon-title {
    font-weight: bold;
}

th {
    border-bottom: 0.5pt solid;
}

td {
    border-right: 0.5pt solid;
}

sup {
    font-size: 60%;
}