P {text-align: justify;}
H2 {font-size: large; }
PRE {font-family: monospace; font-size: medium; background-color: #EEEEEE; padding: 1em; text-align:left; border: 2px solid black; white-space: pre; }
BODY {color: black; background: #FFFFFF; margin: 0%; font-family: sans-serif; }
TD, TABLE {font-family: sans-serif; }
.number {color: red; }
#number {text-align: right; float: right; background-color: #C0F0FF; padding: 0.6em;}
#title {text-align: left; text-indent: -2em; margin-left: 2em; }
#version {font-weight: normal }