body.nologo { background-image: none; }
body pre { margin-top: 70px; line-height: 1.5em; }
a { text-decoration:  none; }
pre img { line-height: 1.5em; }
ul { list-style-type: none; }
h1 { font-size: 140%; }
li { background: transparent url(/img/li.gif) no-repeat scroll 0 0.6em; padding-left: 15px; }