body {
	margin: 0px;
	padding: 10px 30px 0px 30px;
    font: x-small "Trebuchet MS", Verdana, Arial, Helvetica, sans-serif;
}

#logo {
	width: 100%;
	background: white url('logo_drop.png') repeat-x scroll left top;
}

#extend {
    left:10px;
	float: right;
}

#menu {
	float: left;
	width: 195px;
	margin-top: 40px;
	position: fixed;
	left: 30px;
}

#menu h1 {
	font-size: 16px;
	width: 195px;
	height: 31px;
	background: white url('menu_head.png') no-repeat scroll left top;
	line-height:31px;
	text-indent:20px;
	padding: 0px;
	margin: 10px 0px 0px 0px;
	border: 0px none black;
	color: #202020;
	font-variant: small-caps;
	letter-spacing: 1px;
}
.menuitem.last {
	border-bottom: solid 1px #DFE5EA !important;
}
.menuitem {
    margin: 0px;			    
	font-size: 14px;
	display:block;
	border: solid 1px #DFE5EA;
	border-top: none 0px black;
	border-bottom: none 0px black;
	position: relative;
	top: -1px;
	
	padding:2px 0px 2px 28px;
}
#menu img {
	border: none;
	vertical-align:middle;
}

a {
	color: rgb(0, 43, 150);
	text-decoration: none;
}
a:hover {
	text-decoration: underline;
}
#content {
	margin-left: 18em;
    margin-top: 40px;
	font-size: 127%;
}

#content h1 {
        line-height:0.75em;
}



code           { font-family: monospace; }
div.constraint,
div.issue,
div.note,
div.notice     { margin-left: 2em; }
dt.label       { display: run-in; }
li p           { margin-top: 0.3em;
                 margin-bottom: 0.3em; }
div.exampleInner pre { margin-left: 1em;
                       margin-top: 0em; margin-bottom: 0em}
div.exampleOuter {border: 4px none gray;
                  border-left: 1px solid gray;
                  border-bottom: 1px solid gray;                  
                  margin: 0em; 
                  padding: 0em;
                  padding-left: 1em;
                  padding-bottom: 1em;}
div.exampleInner { background-color: #F1F1F1;
                   padding: 4px; margin: 0em }
div.exampleWrapper { margin: 4px }
div.exampleHeader { font-weight: bold;
                    margin: 4px}

@media print {
	#menu {
		display: none;
	}
	#content {
		margin-left: 1em;
	}
}