* {
    margin: 0px;
    padding: 0px;
}

img {
    border: none;
    vertical-align: top;
}
html {
    font-family: sans-serif;
    background-color: #999999;
}

pre {
    border: 1px solid #000000;
    background-color: #cccccc;
    margin: 1em;
    padding: 1em;
}

p {
    padding: 0.3em;
}

ul {
    display: inline-block;
    padding: 0.5em 1em 0.5em 1.5em;
}

a, a:visited, a:hover {
    text-decoration: none;
    color: #116699;
}

.logo {
    width: 5em;
    height: 5em;
    margin: 0.5em;
    float: left;
}