body { background: rgb(238, 238, 238) none repeat scroll 0% 0%; margin: 33px; color: rgb(51, 51, 51); }
h1 { font: 2em Georgia,serif; }
a:link { text-decoration: none; color: rgb(85, 85, 85); }
a:visited { text-decoration: none; color: rgb(119, 119, 119); }
a:hover, a:active { text-decoration: underline; color: maroon; }
pre { font: 0.9em/1.3em "Courier New",Courier; margin: 3px 0px; color: rgb(119, 119, 119); }
pre img { display: inline; }
img { margin: 3px 0px; }
.description { font-style: italic; font-size: 90%; color: rgb(119, 119, 119); }