body {background-color: silver; font-family: serif; text-align: justify;}
div.page, div.bottom {width: 600px; margin-left: auto; margin-right: auto; margin-top: 1em; padding: 1em;}
div.page {background-color: white;}
div.bottom {text-align: center; clear: both;}
div.ad {width: 728px; margin-left: auto; margin-right: auto; margin-top: 1em; padding: 1em; background-color: white;}
div.spaceholder {clear: both;}

.small {font-size: small;}
.bold {font-weight: bold;}

h1 {font-size: x-large; font-weight: bold; margin: 0em;}
h2 {font-size: large; font-weight: bold;}

p.disclaimer {border: 1px solid red; padding: 0.5em;}
p.center {text-align: center;}

div.code, div.filename {font-family: monospace; white-space: pre; font-size: small; border: 1px black dashed; padding: 0.5em;}
div.filename {border-bottom: none; color: white; background-color: gray;}

span.code {font-family: monospace;}
span.left {float: left; width: 50%; text-align: center;}
span.right {float: right; width: 50%; text-align: center;}

img {border: none;}