@charset "UTF-8";
/* CSS Document */

* {
	font-family: Verdana, Helvetica, Arial, sans-serif;
	font-size: 12px;
	line-height: 150%;
	text-align: left;
	margin: 0px;
	padding: 0px;
}
body {
	margin: 10px;
	padding: 0px;
	max-width: 600px;
}
code, pre {
	font-family: Courier, monospace;
}
h1, h2, h3, h4 {
	font-family: Tahoma, Helvetica, Arial, sans-serif;
}
h1 {
	font-size: 28px;
	margin-bottom: 16px;
	font-weight: bold;
	line-height: 100%;
}
h2 {
	font-size: 22px;
	font-weight: bold;
	margin: 16px 0 8px 0;
	line-height: 120%;
}
h3 {
	font-size: 18px;
	font-weight: normal;
	line-height: 120%;
}
p+h3,ul+h3 {
	margin-top: 16px;
}
h4 {
	font-weight: bold;
}
p {
	margin-bottom: 8px;
}
h3+p,ul+p {
	margin-top: 8px;
}
ul {
	margin-left: 16px;
}
h3+ul {
	margin-top: 8px;
}
ol {
	margin-left: 16px;
}

table {
	margin-bottom: 20px;
}
th {
	padding: 2px;
	font-weight: bold;
}
td {
	padding: 2px;
	vertical-align:top;
}
b, strong, i {
	font-size:inherit;
}

.header {
}
.footer {
}
.nav1 {
	background-color: #F0F0F0;
}
.nav2 {
	background-color: #F0F0F0;
}
.nav1 * {
	line-height: 125%;
}



#notationBody, #noteBody, #cubeBody, #scriptBody {
	width: 600px;
}
#notationBody table {

}
#notationBody  td {
	background-color: #F0F0F0;
}
#notationBody th {
	background-color: #CCCCCC;
}
#notationBody td.rowspacer {
	background-color: #fff;
}

.listing {
	font-family: Courier, monospace;
	background-color: #f0f0f0;
	padding: 6px 8px 6px 8px;
	margin-bottom: 16px;
	border: solid 1px #CCCCCC;
}
.listing * {
	font-family: Courier, monospace;
}

.listingTopFragment {
	font-family: Courier, monospace;
	background-color: #f0f0f0;
	padding: 6px 8px 6px 8px;
	margin-bottom: 16px;
	border-top: solid 1px #CCCCCC;
	border-right: solid 1px #CCCCCC;
	border-left: solid 1px #CCCCCC;
	border-bottom: dotted 1px #CCCCCC;
}
.listingMiddleFragment {
	font-family: Courier, monospace;
	background-color: #f0f0f0;
	padding: 6px 8px 6px 8px;
	margin-bottom: 16px;
	border-top: dotted 1px #CCCCCC;
	border-right: solid 1px #CCCCCC;
	border-left: solid 1px #CCCCCC;
	border-bottom: dotted 1px #CCCCCC;
}
.listingBottomFragment {
	font-family: Courier, monospace;
	background-color: #f0f0f0;
	padding: 6px 8px 6px 8px;
	margin-bottom: 16px;
	border-top: dotted 1px #CCCCCC;
	border-bottom: solid 1px #CCCCCC;
	border-right: solid 1px #CCCCCC;
	border-left: solid 1px #CCCCCC;
}

.paramTable {
	border: #999 1px solid;
	border-spacing: 0;
	border-collapse: collapse;
}
.paramTable th {
	background-color: #f0f0f0;
	padding: 5px 5px 5px 5px;
	border: #999 1px solid;
}
.paramTable td {
	padding: 5px 5px 5px 5px;
	border: #999 1px solid;
}
.paramTable li {
	margin-top: 6px;
	margin-bottom: 6px;
}



.tip {
	color: #333;
	font-size: 10px;
}
.description {
	font-size: 10px;
}
.marginalia {
	font-size: 10px;
	text-align: right;
	padding-right: 10px;
}
.paddingdouble {
	padding-top: 16px;
}
