body {
font-size: 12pt;
      }

a[href] {
  text-decoration: none;
      }

a[href]:after {
  content: " (" attr(href)") ";
  color: #666;
  font-size: 10pt;
       }

img {
	border: 0;
	}

code {
        white-space: pre;
        }

#banner h1, form, #sidebar {
        display: none;
        }

.title {
font-size: 13pt;
}

#footer {
        font-size: 10pt;
        }