body {
	background-color: #132F40;
	font-family: 'Open Sans', open-sans, Verdana, Arial, Helvetica, Sans-serif;
	color: #4F5256;
	font-size: 100%;
	border: 0;
	margin: 0;
	padding: 0;
}

/* commented backslash hack to keep scrollbar in Firefox \*/ 
	html, body{height:101%;} 
/* end hack */

* {
	margin: 0;
	padding: 0;
}

/* TOP BAR */

.nav {
	background-color: #00509F;
	height: 50px;
	color: #FFFFFF;
	font-size: 105%;
}

.leftfl {
	float: left;
	height: 50px;
	color: #FFFFFF;
	padding: 12px 10px 0 10px;
	font-weight:600
}

.leftfl a {
	color:#FFFFFF;
	text-decoration:none;
  font-weight:600
}

.leftfl a:hover {
	color:#98C3DB;
	text-decoration:none;
  font-weight:600
}

.rightfl-do {
	float:right;
	height: 50px;
	font-weight:600
}

.rightfl-dl {
	float:right;
	height: 50px;
	font-weight:600
}

.button-dl {
	background-color: #98C3DB;
	color: #00509F;
	height: 38px;
	width: 150px;
	text-align: center;
	text-decoration:none;
	padding: 12px 0px 0px 0px;
	display: block;
  font-weight: 600;
}

.button-dl:hover {
	background-color: #C2DFF0;
	color: #007CC2;
	height: 38px;
	width: 150px;
	text-align: center;
	text-decoration: none;
	padding: 12px 0px 0px 0px;
	display: block;
  font-weight: 600;
}

.button-do {
	background-color: #21719C;
	color: #FFFFFF;
	height: 38px;
	width: 150px;
	text-align: center;
	text-decoration:none;
	padding: 12px 8px 0px 8px;
	display: block;
  font-weight: 600;
}

.button-do:hover {
	background-color: #C2DFF0;
	color: #007CC2;
	height: 38px;
	width: 150px;
	text-align: center;
	text-decoration: none;
	padding: 12px 8px 0 8px;
	display: block;
  font-weight: 600;
}

/* CONTENT */

.wrap {
	background-color: #EEF3F6;
	color: #4F5256;
	width: auto;
	margin: 0px auto;
	padding: 30px 120px 50px 150px;
}

a {
	font-weight:normal
}

.wrap a{
	color:#21719C;
	text-decoration:none;
	padding: 0 3px;
}

.wrap a:visited{
	color:#81B7D6;
	text-decoration:none;
	padding: 0 3px;
}

.wrap a:hover{
	color:#0098ED;
	text-decoration:underline;
	padding: 0 3px;
}

.shortbugstatusextra {
	background-color: #DDEAF0;
}

/* FOOTER */

.foot {
	background-color: #00509F;
	color: #FFFFFF;
	padding: 15px 85px 20px 90px;
  font-weight:400;
}

.foot a{
	color:#98C3DB;
	text-decoration:none;
  font-weight:400;
}

.foot a:hover{
	color:#FFFFFF;
	text-decoration:none;
  font-weight:400;
}

.rfl {
	float:right;
}

.rfl a{
	color:#98C3DB;
  font-weight:400;
}

.rfl a:hover{
	color:#FFFFFF;
  font-weight:400;
}

/* OTHER ELEMENTS */

h1 {
	font-size: 160%;
	text-align: left;
	padding: 6px 0 10px
}

h2 {
	font-size: 140%; 
	text-align: left;
	padding: 12px 0 10px
}

h3 {
	font-size: 120%; 
	text-align: left;
	padding: 12px 0 10px
}

dl {
	margin: 0 3px 0 15px;
}

dt {
	font-weight: normal;
	line-height: 1.7em;
	margin: 5px 0 5px 30px;
}

dd {
	font-weight: normal;
	line-height: 1.7em;
	margin-left: 50px;
}

ul {
	list-style-type: none;
	list-style-position: outside;
	margin: 0 3px 5px 0;
}


li {
	list-style-type: none;
	list-style-position: outside;
	font-weight: normal;
	line-height: 1.7em;
	margin-left: 30px;
}

p {
	padding: 10px 30px;
	line-height: 1.7em;
}

span {
	padding: 0 6px;
}

code {
	font-family: monospace, monospace;
	font-size: 90%;
	font-weight: bold;
	padding: 3px 8px;
	margin: 0 3px;
	white-space: nowrap;
	background: #DFEAF2;
	border: 1px solid #E1E1E1;
}

pre {
	margin-bottom: 10px;
	margin-left: 30px;
	white-space: pre-line;
}

.clear {
	height: 1px;
	overflow: hidden;
	clear: both;
	margin-top: -1px;
}