#navigation, #boxes, #header, #logo, #hidden, hr, .hidden, noscript { display: none; }

p { font-size: 1em; }

#footer { font-weight: bold; padding-top: 25px; }

#text .italic { font-style: italic; }

#text .tt { font-family: monospace, Monospace; }

#text table.standard  { border-collapse: collapse; border: 1px solid #888; }
#text table.standard th { padding: 10px 20px; border-bottom: 1px solid #888; }
#text table.standard td { padding: 7px 20px; border-bottom: 1px solid #888; }

#text pre { margin: 0 0 20px 0; padding: 10px; border: 1px dashed #888; font-family: monospace; }