body {
	padding: 0 20px;
	font-family: 'Trebuchet MS', Arial, sans-serif;
}

* {
	margin: 0;
	padding: 0;
}

* h1, * h2, * h3, * h4, pre, * p, .example {
	margin: 1em 0;
}

body > h1, div > h2, div > h3 {
	margin: 0;
}

h3.code {
	color: DarkOrange;
}

p.code, code {
	display: block;
	border-left: 2px solid DarkOrange;
	font-size: 66%;
	font-family: monospace, serif;
	padding-left: 1em;
	margin-bottom: 0;
}

blockquote {
	padding: 10px;
	font-style: italic;
	background-color: #FFE9BF;
}

.right {
	float: right;
}

.left {
	float: left;
}

.clear {
	clear: both;
	height: 0px;
	overflow: hidden;
}

.clearLeft {
	clear: left;
	height: 0px;
	overflow: hidden;
}

#leftSide {
	float: left;
/*	width: 65%; */
}

.debugging {
	float: right;
	border: 3px dotted orange;
	width: 30%;
	padding: 10px;
}

.dl {
	float: right;
	margin: 1em;
	padding: 1em;
	border: 3px dotted DarkOrange;
}