body { 	color:#000000;
	background-color:#F0F0F0;
	font-family:Arial,Helvetica,sans-serif
     }

h1 { font-size:x-large; font-weight:bold }
h2 { font-size:large; font-weight:bold }
h3 { font-size:medium; font-weight:bold }
h4 { font-size:medium; font-weight:bold }

.navi  { font-family:Arial,Helvetica,sans-serif; font-size:x-small }

.bibtitle { font-weight:bold }
.bibauth { font-style:italic }
.bibabs { font-weight:bold }
li.bibitem { margin-top:3ex }

.swtitle { font-weight:bold }
li.switem { margin-top:3ex }