body {
	margin: 8px;
	background-color: white; color: black;
}
body.command,body.node {
	padding-bottom: 100px;
}
#banner {
	position: relative; left: -8px; top: -8px;
	width: 100%;
	padding: 8px;
}

.node #banner {background-color: #F4F4F0;}
.command #banner {background-color: #F0F0F0;}
.baseline {vertical-align: baseline;}
.middle {vertical-align: middle;}
.version {
	background-color: #339933; color: white;
	display: inline-block;
	border-radius: 7px;
	width: min-content; height: 14px; 
	margin-left: 3px;
	padding-left: 6px; padding-right: 6px;
	font-weight: bold; font-size: 13px;
}

h1 {
	font-size: 150%;
	margin-top: 0; margin-bottom: 0; padding: 0;
}
h2 {font-size: 120%;}
h3 {font-size: 100%;}

.toolbar {margin: 0;}

#navbar {text-align: right;}
#super,#className {font-size: 90%;}
#super,#className {margin-bottom: 0; margin-top: 0;}
#className {color: #666;}

#synopsis {
	background-color: #FFFFF0;
	padding: 8px;
	border-style: solid; border-width: 1px; border-color: #DDDDD0;
}

th {
	text-align: left; vertical-align: bottom;
}

hr {color: #CCC;}

.lab {
	margin-bottom: 4px;
}

.internalName {font-size: 85%; color: #666;}

ul {margin: 0 0 0 8px; padding: 0 0 0 8px;}