#content {
line-height:140%;
}
p.info {
margin-bottom:15px;
}
pre {
font-family: 'Courier New', Courier, monospace;
font-size:10pt;
width:100%;
overflow:scroll;
}