body {
        background: whitesmoke;
        margin: 55px;
        color: #777;
        }
h1 {
        font: 2.0em Georgia, serif;
        }
h1 a:hover, h1 a:active {
        text-decoration: none;
        }
a:link {
        text-decoration: none;
        color: midnightblue;
        }
a:visited {
        text-decoration: none;
        color: midnightblue;
        }
a:hover, a:active {
        text-decoration: underline;
        color: midnightblue;
        }
pre {
        font: 0.9em/1.3em "Courier New", Courier;
        margin: 3px 0;
        color: #777;
        }
pre img {
        display: inline;
        }
img {
        margin: 3px 0;
        }
.description {
        font-style: 0.9em/1.3em "Courier New", Courier;
        font-size: 100%;
        color: #777;
        }