body {
	margin-left: 15%;
	margin-right: 5%;
	color: black;
	background: white;
	}
h1 { margin-left: -8%;}
h2,h3,h4,h5,h6 { margin-left: -4%; }
pre {
	color: green;
	background: white;
	font-family: monospace;
	margin-left: +5%;
	}
.example {
	border-width: 1;
	border: solid black;
	padding: 0.5em;
	}

pre.example {
	width: 80ch;
	font-family: monospace;
	/* Browser specific (not valid) styles to make preformatted text wrap */
	white-space: pre-wrap;       /* css-3 */
	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+ */
	}

.insert {
	border: none
	width: 100%
	}
p.insert {
	margin-top: 1em;
	margin-bottom: 0em;
	margin-left: +5%;
	margin-right: +5%;
	color: black;
	font-family: sans-serif;
	font-style: italic;
	white-space: normal;
	}

.quote {
	border: none
	width: 100%
	}
p.quote {
	margin-top: 1em;
	margin-bottom: 0em;
	margin-left: +10%;
	margin-right: +10%;
	color: black;
	font-family: sans-serif;
	font-style: italic;
	white-space: normal;
	}