div.titlepage {
    text-align: center;
    border-style: ridge;
    border-width: 3px;
    border-color: #c0c0c0;
    padding: 2em
    }
h1, h2, h3 {
    text-align: center;
    font-weight: normal;
    margin-top: 2em
    }
h1 {
    margin-top: 1em
    }
h2 {
    margin-top: 1em
    }
h4 {
    text-align: left;
    font-weight: normal;
    font-size: 150%;
    margin-top: 1em
    }
h5 {
    text-align: left;
    font-weight: normal;
    font-size: 125%
    }
a:link {
    color: blue;
    text-decoration: none
    }
link {
    color: blue;
    text-decoration: none
    }
a:visited {
    color: blue;
    text-decoration: none
    }
a:hover {
    color: red
    }
div.illlist {
    margin-left: 10em
    }
.tagline {
    text-align: right;
    font-size: 1em
    }
li.toc {
    font-variant: small-caps
    }
p.smallcaps {
    font-variant: small-caps
    }
div.redirection {
    text-align: right;
    font-weight: normal;
    font-size: 175%;
    margin-top: 1em
    }