/* Layout divs */

div.header {
	background: url('images/header_bg.gif');
	height: 50px;
}

div.leftbar {
	position: absolute;
	width: 180px;
	float: left;
	margin: 0px;
	left: 0px;
}

div.content {
	padding-left: 180px;
	margin: 25px;
}

/* Main formatting */

body {
	margin: 0px;
	background-color: white;
	background-image: url('images/bg.gif');
	background-repeat: repeat-y;
        font-family: verdana,arial,helvetica,sans-serif;
        font-size: 10pt;
}

h1, h2, h3, h4 {
	color: #42426B;
}
h1 {
	font-size: 16pt;
}


h2 {
	border-bottom: 1px solid #42426B;
	font-size: 10pt;
}

.small {
	font-size: 8pt;
}

hr {
/* Seems ugly, but this gives us the 1px black line required */
	height: 0px;
	border: none;
	border-bottom: 1px solid #42426B;
}

a:link, a:visited {
	font-weight: bold;
	text-decoration: none;
	/* color: #42426B; */
	color: #c00000;
}

a:hover {
	color: #C0C0C0;
}


input.error {
	background: #FF8080;
}


span.debug {
	color: #008000;
	font-family: courier new, courier, fixed-width;
	font-size: 8pt;
}

span.debug:before {
	content: "** "
}

div.debugbox {
	position: absolute;
	bottom: 0px;
	right: 0px;
	height: 20%;
	background: url('images/debug.png');
	border: 1px solid black;
	overflow: scroll;
}
div.debugtitle {
	position: relative;
	width: 100%;
	text-align: center;
	background: url('images/debugtitle.png');
	padding: 2px;
	font-weight: bold;
	color: white;
}

/* Drop Links formatting */
div.droplinks dl {
	margin-left: 10px;
	margin-right: 10px;
	margin-bottom: 15px;
}

div.droplinks a:link, div.droplinks a:visited {
	color: #DEDEE7;
}

div.droplinks a:hover {
	color: white;
}

div.droplinks {
	margin-right: 15px;
	border: 1px solid black;
	margin-left: 10px;
	color: #c0c0c0;
	background: #42426B;
	font-size: 8pt;
	float: right;
	clear: right;
}

/* Left Navbar formatting */

div.leftbartext a:link, div.leftbartext a:visited {
	color: #DEDEE7;
}

div.leftbartext a:hover {
	color: white;
}

div.leftbartext {
	margin: 10px;
	color: #c0c0c0;	
	font-size: 8pt;
}

/* Definition List formatting - for navbar links */

dd {
	margin-left: 1em;
}

dt {
	margin-top: 1em;
	font-size: 11pt;
	font-weight: bold;
	color: white;
}


/* Search highlighting */
span.highlight {
	background: yellow;
}

/* Positioning Edit | Delete links on ports page */
div.portadminlinks {
	position: absolute; 
	right: 20px; 
	top: 55px;
}