body { 
	margin-left: 10%; margin-right: 10%;
/*	background: #CCCCCC; */
	background: #F8F4E7; /* Knuth color */
}
h1, h2, h3, h4, h5 { font-family: sans-serif; }
h1 {margin-left: -4%;}
h2, h3, h4, h5 {margin-left: -2%;}
hr {margin-left: -4%; margin-right: -4%;}
div.box { background: #F0F0F0; border-color: gray; }
table { background: #F0F0F0; }