body, html {
}
pre {
 color: darkblue;
}
h3 {
 font-size: 100%;
 font-weight: bold;
 font-family: verdana;
}