body { 
	//background-color: #fffff3;
	//background-color: #efefef;
	//background-color: #e5eef3;
	background-color: #d5dde3;
	//background-color: #c5ccd3;
	font: bold 1em/1.3em Helvetica;
	margin: 0 8px;
	}

code, pre {
	font-weight: bold;
	}