+ body {
+ background: white;
+ font-size: 12pt;
+ }
+ h1 { font-size: 14pt; }
+ h2 { font-size: 13pt; }
+ h3 { font-size: 12pt; border: none; }
+ h4 { font-size: 12pt; border: none; }
+ h5 { font-size: 12pt; border: none; }
+ a, a:link, a:visited { color: #225; text-decoration: underline; }
+ .heading:link, .heading:visited { display: none; }
+ #footer { display: none; }
+ .nav { display: none; }
+ .noprint { display: none; }
+ div.wiki { font-size: smaller; }