* {
	margin: 0;
	padding: 0;
}

body {
	background-color: #fff;

}

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

#nav div {
	height: 50px;
}

#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;
	float:left;
}

#logo {
	color: white;
	font-size: 16px;
	font-weight: bold;
	float: left;
	line-height: 50px;
}
#mainpage {
	margin-top: 20px;
}

#menu {
	background-color: #F5F5F5;
	border: 1px solid #E3E3E3;
}

thead {
	background-color: #0A68AD;
	color: white;
}

#menuheader {
	background-color: #9DB400;
	padding: 10px;
	color: white;
	font-size: 16px;
	font-weight: bold;
}

#menu ul {
	list-style-type: none;
	margin-left: 0;

}

#menu ul li {
	border-top: 1px solid #EAEAEA;
	padding-left: 10px;
	padding-top: 5px;
	padding-bottom: 5px;
}

#menu ul .active {
	border-right: 5px solid #333333;
}

#dropbox:before {
	display: block;
	content:'';
	height:4px;
	width:100%;
	background:url('../img/blue_line.jpg');
	position: absolute;
	top:0;
	left:0;
	box-shadow:0 2px 2px rgba(0,0,0,0.4);
}

#dropbox {
	background:url('../img/background_tile_3.jpg');
	
	border-radius:3px;
	position: relative;
	
	min-height: 100px;
	overflow: hidden;
	padding-bottom: 40px;

	
	box-shadow:0 0 4px rgba(0,0,0,0.3) inset,0 -3px 2px rgba(0,0,0,0.1);
}


#dropbox .message {
	font-size: 11px;
    text-align: center;
    padding-top:65px;
    display: block;
}

#dropbox .message i {
	color:#ccc;
	font-size:10px;
}

#dropbox:before {
	border-radius:3px 3px 0 0;
}

#dropbox .progressHolder{
	position: absolute;
	background-color:#252f38;
	height:12px;
	width:100%;
	left:0;
	bottom: 0;

	box-shadow:0 0 2px #000;
}

#dropbox .progress{
	background-color:#2586d0;
	position: absolute;
	height:100%;
	left:0;
	width:0;

	box-shadow: 0 0 1px rgba(255, 255, 255, 0.4) inset;

	-moz-transition:0.25s;
	-webkit-transition:0.25s;
	-o-transition:0.25s;
	transition:0.25s;
}

#dropbox .preview.done .progress{
	width:100% !important;
}

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

.file {
	background-color: #ccc;
}