body {
font-family: arial, helvetica, sans-serif;
font-size: 10pt;
}
pre.listing {
display: table;
color: black;
background-color: lightgray;
border-style: solid;
border-width: 1px;
border-color: darkgray;
margin: 8px 0px 5px 0px;
padding: 2px;
width: auto;
overflow: auto;
font-family: monospace;
}
.warning {
color: red...
