body { color: black; background: white; }
                a.source { font-family: monospace;                              
			   color: blue;
			   background: white;
			   text-decoration: none}
		span.lang { font-weight: bold; }
		table.center {margin-left: auto; margin-right: auto; }