body {
	margin:  0;
	padding: 0;
}

#header {
	background-color: #3C3C3C;
	height:50px;
	width: 100%;
}


#nav div {
	display: inline-block;
	height: 50px;
	
}

#nav a {
	height: 30px;
	padding-top: 15px;
}

.btn-group {
	margin-top: -45px;
}

#nav .separator {
	width: 0px; /* amazing, this seems to work */
	height:50px;
	border-left: 1px solid #111111;
	border-right: 1px solid #555555;
	margin-left: 5px;
	margin-right: 5px;
}

#doc a {
	background-color: #F0F0F0;
	border: 1px solid #ccc;
	padding: 1px;
}

.editorinfo {
	background-color: #0a68ad;
	color: white;
	font-size: 18px;
	padding-top: 5px;
	padding-bottom: 5px;
	padding-left: 10px;
	margin-top: 10px;
}

.ace { 
	height:500px;
	width:100%;
}

.highlighted {
	background-color:  #ff00ff;
	opacity: 0.5;
	position: absolute;
	z-index: 4;
}

.interesting {
	background-color:  #ffff00;
	opacity: 0.5;
	position: absolute;
	z-index: 4;
}

#dropdown {
	width: 500px;
	position: absolute;
	background-color: #333333;
	z-index: 100;
	left: 5%;
	display: none;
}

#dropdown * {
	position: relative;
	margin:0px;
	padding:0px;
}
section.group {
	width:100%;
	top:0px;
	height:auto;
}
section.group div.heading {
	font-size:14px;
	font-family:verdana;
	cursor:pointer;
	width:100%;
	height:auto;
	color:#fff;
	background-color:#305EB3;
	border-top:#628DDE 1px solid;
	border-bottom:#284882 1px solid;
}
section.group div.heading h1 {
	font-size:14px;
	font-weight:normal;
	padding:6px 0 6px 10px;
	max-width:60%;
}
section.inner.group div.heading {
	background-color:#444;
	border-top:#666 1px solid;
	border-bottom:#333 1px solid;
}
section.inner.group div.heading h1 {
	padding-left:13px;
	font-size:12px;
}
section.group div.content {
	width:100%;
	height:0px;
	min-height:auto;
	overflow:hidden;
	background-color:#333;
	border:solid #f00 0px;
	color:#fff;
}
section.group div.content a {
	color:inherit;
	font-family:Verdana;
	font-size:12px;
	text-decoration:none;
	display:list-item;
	padding:4px 0 4px 20px;
}
section.group div.content a:hover {
	text-decoration:underline;
}
section.group div.content a:first-child {
	padding-top:7px
}
section.group div.content a:last-child {
	padding:4px 0 10px 20px;
}
section.group div.heading.pink {
	background-color:#D9388B;
	border-top:#F772B7 1px solid;
	border-bottom:#A12263 1px solid;
}