body {
    background: #ffffff;
    color: #000000;
    font-family: arial,sans-serif;
    margin: 0;
    padding: 1ex;
    }

pre {
    background: #eeeeee;
    border: 1px solid #888888;
    color: black;
    padding-top: 1em;
    padding-bottom: 1em;
    white-space: pre;
    }

h1 {
    background: transparent;
    font-size: large;
    }

h2 {
    background: transparent;
    font-size: medium;
    }

a {
    text-decoration: none;
    }

li {
    line-height: 1.2em;
    list-style-type: none;
    }