/* CSS 2.1 */
/* Time-stamp: <2010-08-26 13:21 (cris)> */
body {
    color: black;
    background-color: white;
}

h1 {
    font-size: 175%;
}    

h2 {
    font-size: 150%;
}    

h3 {
    font-size: 125%;
}    

strong {
    font-weight: bolder;
    color: #C00020;
}

p.author {
    font-style: italic;
}

p.timestamp {
    font-family: monospace;
    font-size: 90%;
    border-top: solid thin gray;
    padding-top: 1ex;
    color: gray;
}

a.navi {
    display: inline-block;
    font-weight: normal;
    border: solid thin black;
    padding: 0.5ex 0.5em;
}

p.note {
    font-style: italic;
    text-align: center;
    font-weight: normal;
}

.center {
    text-align: center;
}

.faded {
    color: gray;
}

.tt {
    font-family: monospace;
}

.void {
    display: none;
}

a:link, a:visited {
    color: navy;
}

a:active, a:hover {
    color: red;
}