/*
 * Default style sheet for Joachim's HTML pages
 */

/* start with an unused one, MSIE 3 sometimes ignores first one, grrrr... */
p.unused {
    color: #0d0;
}
body {
    background: #ffffff;
    color: #000000;
}
a:link {
    color: #0000ee;
}
a:active {
    color: #ff0000;
}
a:visited {
    color: #551a8b;
}
h1 {
    padding: 0.75em;
    border: inset;
    color: #dd0011;
    background: #bbeeff;
}
h2 {
    margin: 0.1em;
    width: 100%;
    font-weight: bold;
    padding: 0.1em;
    border: solid thin #bbeeff;
    background: #bbeeff;
}
pre {
    color: maroon;
    margin-left: 1em;
}
div.navbar {
    width: auto;
    margin: 2ex 0ex 1ex;
    padding: 0.5ex;
/* MSIE 3 screws this up badly
 *  background: #d8d8d8;
 */
    border: solid #aaa;
}
div.trailer {
    font-size: 75%;
}
img {
    border-width: 0;
    vertical-align: middle;
}