ul.menu, ul.menu ul
{
	list-style-type: none;
	margin: 0;
	padding: 0;
	width: 15em;
	font-family: Trebuchet MS;
}

ul.menu a
{
	display: block;
	text-decoration: none;
	font-family: Trebuchet MS;
}

ul.menu li
{
	margin-top: 1px;
	font-family: Trebuchet MS;
}

ul.menu li a
{
	background: #8c2f15;
	color: #fff;
	padding: 0.5em;
	font-family: Trebuchet MS;
	font-size: 13px;
}

ul.menu li a:hover
{
	background: #7B270D;
	font-family: Trebuchet MS;
}

ul.menu li ul li a
{
	background: #ccc;
	color: #000;
	padding-left: 20px;
	font-family: Trebuchet MS;
}

ul.menu li ul li a:hover
{
	background: #aaa;
	border-left: 5px #000 solid;
	padding-left: 15px;
	font-family: Trebuchet MS;
}

.code
{
	border: 1px solid #ccc;
	list-style-type: decimal-leading-zero;
	padding: 5px;
	margin: 0;
	font-family: Trebuchet MS;
}
.code code
{
	display: block;
	padding: 3px;
	margin-bottom: 0;
	font-family: Trebuchet MS;
}
.code li
{
	background: #ddd;
	border: 1px solid #ccc;
	margin: 0 0 2px 2.2em;
	font-family: Trebuchet MS;
}
.indent1
{
	padding-left: 1em;
	font-family: Trebuchet MS;
}
.indent2
{
	padding-left: 2em;
	font-family: Trebuchet MS;
}
.indent3
{
	padding-left: 3em;
	font-family: Trebuchet MS;
}
.indent4
{
	padding-left: 4em;
	font-family: Trebuchet MS;
}
.indent5
{
	padding-left: 5em;
	font-family: Trebuchet MS;
}