body {
	/*line-height: 1.25;*/
	max-width: 42em;
	margin: 1em;
}

div.offset, 
dd, 
pre {
	padding-left: 0;
	margin-left: 2.5em;
}

code {
	font-family: inherit;
	font-size: inherit;
}

h1 {
	/*use Firefox's default styling of h2*/
	font-size: 1.5em;
	margin-block-start: 0.83em;
	margin-block-end: 0.83em;
}

h2 {
	/*use Firefox's default styling of h3*/
	font-size: 1.17em;
	margin-block-start: 1em;
	margin-block-end: 1em;
}

h3 {
	/*use Firefox's default styling of h4*/
	font-size: 1em;
	margin-block-start: 1.33em;
	margin-block-end: 1.33em;
}

ol, ul {
	margin-left: 0;
	padding-left: 2.5em;
}

li {
	margin-left: 0;
	padding-left: 0;
}

p code {
	font-style: italic;
}

p.question {
	font-style: italic;
}

pre {
	line-height: normal;
	tab-size: 4;
	-moz-tab-size: 4; /*for Firefox*/
}

pre.source {
	font-family: sans-serif;
}

pre.source em {
	font-style: normal;
	font-weight: bold;
}

pre.source .comment {
	color: #800000;
	white-space: pre-wrap; /*CSS3*/
	white-space: -moz-pre-wrap; /*Mozilla, since 1999*/
	white-space: -pre-wrap; /*Opera 4-6*/
	white-space: -o-pre-wrap; /*Opera 7 */
	word-wrap: break-word; /*Internet Explorer 5.5+*/
}

pre.source .string {
	color: #767676;
	background-color: white;
}

pre.source .exported {
	color: #0000ff;
}