div#menu-vertical,div#menu-vertical  ul {
	list-style-type: none;
	margin: 0;
	padding: 0;
	width: 100%;
}

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

div#menu-vertical  li {
	margin-top: 0px;
	min-height: 30px;
}

div#menu-vertical  li a {
	color: #6a6a6a;
	padding: 7px 0px;
	padding-left: 15px;
	font-size: 13px;
	line-height: 18px;
	margin-left: 0px;
	font-weight: 600;
	text-align: justify;
	border-bottom: 1px solid #eee;
	background: url("../images/dm.png") left no-repeat;
}

div#menu-vertical  li a:hover {
	font-weight:600;
	cursor: pointer;
	color: red;
}

div#menu-vertical  li ul li a {
	color: red;
	padding-left: 30px;
	text-shadow: none;
	text-transform: inherit;
	font-size: 13px;
}

div#menu-vertical  li ul li a:hover {
	padding-left: 30px;
}

div#menu-vertical  li ul li ul li a {
	background: #FFF;
	color: #000;
	padding-left: 35px;
}

div#menu-vertical  li ul li ul li a:hover {
	background: #eee;
	border-left: 5px #000 solid;
	padding-left: 30px;
}

.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;
}