body {
font-family: Gill Sans, "Gillius ADF", Gillius, GilliusADF, Sans-Serif;
}
body {
font-family: Gill Sans, "Gillius ADF", Gillius, GilliusADF, Sans-Serif;
}
.nologo { background-image: none }
pre { background: #ddd; padding: 0.5em; }
img:first-of-type { float: right; margin: 1.5em }
.nologo { background-image: none }
pre { background: #ddd; padding: 0.5em; }
img:first-of-type { float: right; margin: 1.5em }