body {
	width: 50%;
	padding: 30px 20px 50px;
	border: 1px solid #b3b3b3;
	border-radius: 4px;
	margin: 0 auto;
	box-shadow: 0 1px 10px #a7a7a7, inset 0 1px 0 #fff;
	background: #fcfcfc;
}

html {
	padding: 30px 10px;
	font-size: 15px;
	line-height: 1.4;
	color: #737373;
	background: #f0f0f0;
}

html, input {
	font-family: Helvetica, Arial, sans-serif;
}

.toc-spacer {
	width: 15px;
	display: inline-block;
}