pre.programlisting{
background-color: #E6E6E6;
font-family:Courier New;
font-size:93%;
width:97%;
}
code.code{
font-family:Courier New;
}

.footnote{
font-size:90%;
}
body {
font-family:Verdana,Simsun, Arial, Helvetica, sans-serif;
}

p{
font-size:93%;
}

a{
font-size:93%;
}