ul.menu, ul.menu ul {
	list-style-type:none;
	margin: 0;
	padding: 0;
	width: 14em;
	font-size:10pt;
}
ul.menu a {
	display: block;
	text-decoration: none;
}
ul.menu li {
	border-top:1px solid #ffffff;
}
ul.menu li a {
	background: #759264;
	color: #fff;
	padding: 0.5em;
}
ul.menu li a:hover {
	background: #4c721d;
}
ul.menu li ul li a {
	background: #ccc;
	color: #454545;
	padding-left: 20px;
}
ul.menu li ul li a:hover {
	background: #aaa;
	border-left: 5px #000 solid;
	padding-left: 15px;
}
.code {
	border: 1px solid #ccc;
	list-style-type: decimal-leading-zero;
	padding: 5px;
	margin: 0;
}
.code code {
	display: block;
	padding: 3px;
	margin-bottom: 0;
}
.code li {
	background: #ddd;
	border: 1px solid #ccc;
	margin: 0 0 2px 2.2em;
}
.indent1 {
	padding-left: 1em;
}
.indent2 {
	padding-left: 2em;
}
.indent3 {
	padding-left: 3em;
}
.indent4 {
	padding-left: 4em;
}
.indent5 {
	padding-left: 5em;
}