/* dull stylesheet for dull webpages */

body {
    background-color: white;
    color: black;
}

a:link {
    background-color: white;
    color: blue
}
a:visited {
    background-color: white;
    color: red
}
a:active {
    background-color: white;
    color: lime
}

img {
    vertical-align: middle;
}

h1, h2, hr {
    text-align: center;
}

.topmenu {
    text-align: center;
    font-size: larger;
}

.submenu {
    text-align: center;
}

.pagemenu {
    text-align: center;
    font-size: smaller;
}

.smallprint {
    font-size: 40%;
}

.center, .centre {
    text-align: center;
}

pre {
font-family: monospace;
}