a { text-decoration: none; }
a:hover { text-decoration: underline; }

html, body {
    padding: 0pt;
    margin-left: 0pt;
    margin-right: 0pt;
    margin-top: 0pt;
    font-family: sans-serif;
}

li { padding-bottom: 0.5ex; }
#nav li { padding-bottom: 0; }
dd { padding-bottom: 1ex; }

#header {
    width: 99%;
    background-color: #dddddd;
    padding-top: 5pt;
    padding-left: 1em;
    margin: 0pt;
    border-top: solid thin red;
    border-bottom: solid thin red;
}

#nav {
    float: right;
    list-style-type: none;
    margin-right: 2em;
    padding-left: 1em;
    padding-right: 1em;
    padding-top: 1ex;
    padding-bottom: 1ex;
    border: double green;
    background: #ffffdd;
}

#tagline {
    font-style: italic;
}

#content {
    margin: 5pt;
}
    
span.alert {
    color: red;
    font-weight: bold;
}