body {
	max-width: 30em;
	margin-left: 1em;
	font-family:"DejaVu Serif", "Georgia", serif;
	font-style: normal;
	font-variant: normal;
	font-weight: normal;
	font-stretch: normal;
	font-size: 100%;
	}