div.page {
	margin-top: 2em;
	margin-bottom: 2em;
	background: white;
	padding: 1em;
}

img {
	width: 100%;
}

h1 {
	margin-top: 1em;
	padding-bottom: 0;
	margin-bottom: 0;
}

h2 {
	text-align: left;
}

div.flushright {
	float: right;
	margin: 1em;
	margin-right: 0;
	width: 35%;
}

div.floatright {
	float: right;
	text-align: right;
	margin-top: 2em;
}

div.flushleft {
	float: left;
	margin: 1em;
	margin-left: 0;
	width: 35%;
}

div.centrepic {
	margin: auto;
	width: 35%;
}

div.fullwidth {
	display: inline-block;
}

p.note {
	border: 1px solid black;
	border-radius: 1em;
	padding: 1em;
	background: #EFEFEF;
	font-family: sans;
}

p.byline {
	font-family: sans;
	margin: 0.5em;
	margin-bottom: 2em;
}

p.right {
	text-align: right;
}

/* cmd is the font used for commands */
span.cmd {
	font-family: monospace, sans, sans-serif;
	font-weight: bold;
}

p.sidebar {
	float: right;
	width: 40%;
	border: solid 1px;
	padding: 1em;
	margin-left: 1em;
	margin-top: 0.5em;
	margin-bottom: 0.5em;
	background-color: #E8ECF5;

}

.indent {
	margin-left: 2em;
}

.example {
	margin-left: 2em;
	font-family: monospace, sans, sans-serif;
	font-weight: bold;
}

/* Code samples are always indented */
pre {
	font-size: large;
	padding: 1em;
	border: solid black 1px;
	background: #EFEFEF;
}

.red {
	color: red;
	font-weight: bold;
}

.center {
	text-align: center;
}

.pre_note {
	font-family: roman;
	font-style: italic;
	font-size: medium;
	background: yellow;
}

.roman {
	font-family: roman;
	font-style: italic;
	font-size: medium;
}

div.summary {
	border: 1px solid black;
	width: 80%;
	margin: auto;
	margin-bottom: 2em;
	padding: 1em;
	background: lightyellow;
}

li {
   padding-bottom: 0.5em;
}

td.list {
	width: 5em;
	font-weight: bold;
	text-align: right;
	padding-right: 1em;
}

td.ctr {
	text-align: center;
}

td.bold_ctr {
	font-weight: bold;
	text-align: center;
}