<!--
body	{ background-image: url(Art/lattice.gif); }
.navbar { background: #d0e0ff;
	  color: #000000; 
	  font-size: 80%; } 

.redbox { background: #c0efc0; 
	  color: #000000;
	  font-size: 80%; }

ul	{ list-style-type: square; }
img.banner { border: none;
		margin-left: auto;
		margin-right: auto; }
map.banner { margin-left: auto;
		margin-right: auto; }
p.center { text-align: center ; }

.center { text-align: center ; }
-->