/* status.css */

BODY {
    font-family: Georgia, "Times New Roman", Times, "New York", serif;
    background: white; color: black; margin-left: 100px; margin-right: 100px; }

CODE {
    font-family: "Courier New", Courier, Monaco, monospace;
    color: black;
}

H1, H2, H3, H4, H5, H6 {
    font-family: Georgia, "Times New Roman", Times, "New York", serif;
    color: #993366 ; margin-left: -80px; margin-right: -80px;
}

.title { font-size: 300%; margin-bottom: 0; color: #993366 ;
margin-left: -80px; margin-right: -80px}
.info { font-size: 80%; margin: 0; color: #993366 ; margin-left: -80px; }
.highlight { background: #ffcccc; }
.navigate { color: #333333; background: #cccccc; margin-left: -80px; margin-right: -80px; }
.mark { color: #993366; }
.small { font-size: 80%; }