pre { font-family: monospace; } /* browser bug workaround */

body {
	background: white;

	margin-top: 40px;
	margin-left: 40px;
	margin-right: 40px;
}