body {margin: 50px 10px 10px 10px; background-color: #FFFFFF; font-family: Georgia, serif; color: #3B2727;}
#container {width: 720px; margin: 0 auto;}
#splash {text-align: center;}
pre.error {background-color: #FFFFEA; width: 720px; padding: 10px; word-wrap: break-word; font-size: 1em; overflow: auto;}