BODY { color: black }
H1 { font-style: normal;
     font-weight: bold;
     font-size: 300%;
     text-decoration: underline;
     text-align: center }
H2 { font-size: 150%;
     font-style: italic }
CODE { font-weight: bold; }
.box { border: solid blue }
pre.codesnippet { font-family: monospace;
	       font-size: 80%;
	       padding: 1em;
	       font-weight: bold;
	       border: double black }
.important { font-style: italic;
	     margin: 1em;
	     padding: 1em;
	     border: double black }
.note { font-weight: bold; }
table.copyright { font-size: 70%; text-align: center }
table,table td,table th { border: none; vertical-align: top; }