body {
	font-family: verdana;
  padding: 20px 100px 80px 100px;
	font-size: 84%;
  color: black;
}


pre {
	font-family: monospace;
	background: #f9f9f9;
	padding: 10px 20px;
	margin-bottom: 20px;
	border: 1px dashed #2f6fab;
	background-color: #f9f9f9;
}