body {
    font-family: sans-serif;
    font-style: normal;
    background-color: white;
    color: navy;
    margin: 5% auto 5% auto;
    min-width: 400px;
    width: 50%;
    max-width: 800px;
}

dt {
    font-weight: bold;
}

sup {
    vertical-align: super;
    font-size: 0.75em;
    line-height: 0.5em
}

.header {
    font-size: 150%;
    font-weight: bold;
    text-align: right;
}

.header, .footer {
    background-color: #eef;
    border: thin solid black;
    padding: 1ex 1ex 1ex 1ex;
    margin: 1ex 0ex 1ex 0ex;
}

.key, .content, .pre {
    border: thin solid black;
    background-color: white;
    padding: 1ex 2ex 1ex 2ex;
    margin: 1ex 0ex 1ex 0ex;
}

.key {
    text-align: center;
}

.content {
    min-height: 400px;
}

.copyright {
    font-size: small; 
    font-style: italic;
}

fieldset {
    border: thin solid black;
    background-color: white;
    margin: 1ex 0ex 1ex 0ex;
    padding: 1ex 1ex 1ex 1ex;
}

legend {
    border: thin solid black;
    background-color: #eef;
    font-size: larger;
    padding: 0em 1em 0em 1em;
}

fieldset ul {
    list-style: none;
}

fieldset li {
    margin-bottom: 0.5ex;
}

li {
    margin-bottom: 1ex;
}

a:link {
    color: blue;
    text-decoration: none;
}

a:hover {
    color: blue;
    text-decoration: underline;
}

a:visited {
    color: gray;
    text-decoration: none;
}

a:active {
    color: red;
    text-decoration: underline;
}