body {
 background-color: #DDDDDD;
 font-family: sans-serif;
}
#content {
 background-color: #FFFFFF;
 text-align: justify;
 margin: 0 auto 0 auto;
 width: 800px;
 padding: 20px;
}
a {
 color: #0057AE;
 text-decoration: none;
}
a:hover {
 color: #FFA851;
 text-decoration: underline;
}
pre {
 background-color: #F6F6F6;
 border: 1px solid #DDDDDD;
 -moz-border-radius: 7px 7px 7px 7px;
 -webkit-border-radius: 7px 7px 7px 7px;
 border-radius: 7px 7px 7px 7px;
 margin: 0 5px 0 5px;
 padding: 10px 10px 10px 10px;
 overflow-x: auto;
}
span.keyword { color: #7000DF; }
span.string  { color: #CE7B00; }
span.number  { color: #009090; }
span.comment { color: #808080; }
span.const   { color: #990000; }