#menu, .pgnavtop, #pgnavbot, .hide {display: none}

pre, span.code {font-family: "Courier New", Courier, monospace}

a.endnote {text-decoration: none}