body {
    background: rgb(255,255,255);
    color: rgb(0,0,0);
    border: 3px solid rgb(140, 30, 30);
    margin: 10px 10% 10px 10%;
    padding-left: 10%;
    padding-right: 10%;
}

a {
    text-decoration: none;
    color: rgb(50, 50, 50);
}

a:visited {
   color: rgb(0, 0, 0);
}

a:hover {
   color: rgb(140, 30, 30);
}

h1 {    
    font-size: 400%;
    font-weight: normal;
    color: rgb(140, 30, 30);
    text-align: center;
    margin-bottom: 0;
}

h2 {
    font-size: 150%;
    font-weight: normal;
    font-style: italic;
    text-align: center;
    margin-top: 0;
}

h3 {
    font-weight: normal;
    text-align: left;
    # padding-left: 5em;
    margin-bottom: 0;
}

dt {
    padding-top: 1ex;
    font-variant: small-caps;
}

em {
    font-style: italic;
}

ul {
    list-style: none;
    text-align: right;
    font-style: italic;
    margin-top: 0;
}

ul.links {
    font-style: normal;
}

ul a {
    text-decoration: underline;
}

p.footer {
    font-size: 80%;
    text-align: right;
    padding-bottom: 1ex;    
}
div.intro {
    font-style: italic;
    text-align: center;
}

hr {
    background: rgb(140, 30, 30);
    border-style: none;
    width: 80%;
}