a {
                color: #5690D6;
                font-weight: bold;
                text-decoration: none;
        }
        a:hover {
                text-decoration: underline;
        }
        a:visited {
                color: #5690D6;
        }
        body {
                color: #333;
                font-family: DejaVu Sans, Helvetica, Verdana, Arial, sans-serif;
                text-align: justify;
                margin: 0;
                padding: 0;
        }
        ul {
                list-style-type: none;
                margin-left: -20px;
        }
        div.page {
                margin: 5em;
        }
        div.page h1 {
                color: #5690D6;
        }
        div.page h2 {
                font-size: 120%;
        }
        div.page em {
                color: #333;
        }
        div.page h1, h2, h3 {
                letter-spacing: -1px;
        }
        #buttons img {
                border: none;
                position: absolute;
                top: 10px;
                right: 10px;
        }
        span.hide {
                display: none;
        }