p {
	text-indent: 30px;
	margin: 2px;
}

div.paragraph {
	text-indent: 30px;
	margin: 2px;
}

div.list {
	text-indent: 45px;
	margin: 2px;
}

h2.header, h2 {
	color: #119911;
	margin-top: 25px;
	margin-bottom: 5px;
}

h4.header, h4 {
	margin-top: 4px;
	margin-bottom: 2px;
}

table.double_cols, table.triple_cols, table.fourth_cols, table.fifth_cols {
	width: 80%;
	border-collapse: collapse;
	margin-left: 30px;
}

table.double_cols td.left {
	border: 1px solid #eee;
	padding: 3px;
	width: 25%;
}
table.double_cols td.right {
	border: 1px solid #eee;
	padding: 3px;
	width: 75%;
}
table.double_cols th, table.triple_cols th, table.fourth_cols th, table.fifth_cols th {
	border: 1px solid #eee;
	padding: 3px;
	background-color: #55bb55;
	color: white;
}

table.triple_cols td.left {
	border: 1px solid #eee;
	padding: 3px;
	width: 25%;
}
table.triple_cols td.center {
	border: 1px solid #eee;
	padding: 3px;
	width: 35%;
}
table.triple_cols td.right {
	border: 1px solid #eee;
	padding: 3px;
	width: 40%;
}
table.fourth_cols td.left {
	border: 1px solid #eee;
	padding: 3px;
	width: 20%;
}
table.fourth_cols td.center_left {
	border: 1px solid #eee;
	padding: 3px;
	width: 20%;
}
table.fourth_cols td.center_right {
	border: 1px solid #eee;
	padding: 3px;
	width: 20%;
}
table.fourth_cols td.right {
	border: 1px solid #eee;
	padding: 3px;
	width: 40%;
}
table.fifth_cols td {
	border: 1px solid #eee;
	padding: 3px;
	width: 20%;
}
table.fifth_cols td.noborder {
	border: 0px;
}
div.example, p.example, pre.example{
	width: 88%;
	border: 1px solid #ccc;
	background-color: #eee;
	text-indent: 0px;
	margin-top: 8px;
	margin-left: 30px;
	margin-bottom: 18px;
	padding-left: 15px;
	padding-top: 8px;
	padding-bottom: 8px;

}
div.note, p.note {
	width: 88%;
	margin-left: 30px;
	text-indent: 0px;
	background-color: #fefeee;
	border: 1px solid #fafaaa;
	padding: 5px;
}
ul {
	list-style-type: none;
}
li {
	margin: 10px;
	margin-left: -10px;
	text-indent: 20px;
}
div.command, p.command, pre.command {
	border: 1px solid #aaeeaa;
	background-color: #eeffee;
	margin: 15px;
	margin-left: 30px;
	text-indent: 0px;
	width: 80%;
	padding: 3px;
	padding-left: 10px;
}
p.picture {
	width: 88%;
	margin-left: 30px;
	text-indent: 0px;
	margin-top: 20px;
	margin-bottom: 20px;
}