ul#menu,
ul#menu ul {
	list-style-type: none;
	margin: 0 auto;
	width: 250px
}

ul#menu {
	padding: 20px 0 0;
	overflow: hidden
}

ul#menu ul {
	padding: 0
}

ul#menu a {
	display: block;
	text-decoration: none
}

ul#menu li {
	padding-top: 1px;
	position: relative
}

ul#menu li a {
	background: #024E4F;
	color: #fff;
	padding: .5em
}

ul#menu li a:hover {
	background: #013737
}

ul#menu li ul li a,
ul#menu li ul li a ul li a {
	background: #d9d9d9;
	color: #000;
	padding-left: 20px
}

ul#menu li ul .current a,
ul#menu li ul li a:hover {
	background: #9ABAB5;
	border-left: 5px #024E4F solid;
	padding-left: 15px
}

.code,
.code li {
	border: 1px solid #ccc
}

.code {
	list-style-type: decimal-leading-zero;
	padding: 5px;
	margin: 0
}

.code code {
	display: block;
	padding: 3px;
	margin-bottom: 0
}

.code li {
	background: #ddd;
	margin: 0 0 2px 2.2em
}

.indent1 {
	padding-left: 1em
}

.indent2 {
	padding-left: 2em
}

.coil-display {
	display: inline!important
}