/* BODY { background-color: #eedfcc } */

/*H1 { align: center }*/

H1, H2, H3, H4 { font-family: sans-serif;
	         color: #00008b
	       }

SMALL, KBD, STRONG { font-family: sans-serif }
KBD { color: #440000; }
TH { background-color: #dceffe; font-family: sans-serif }
TD { background-color: #feefdc; }
.decor { color: #00008b }
DIV.group { margin-left: 1em }