body {
	margin: 0;
}

span.rfc2119 {
	text-transform: lowercase;
	font-variant:small-caps;
}

div.head {
	background-color: #c2d4d7;
	background-image: url(headthing.png);
	background-repeat: no-repeat;
	background-position: top right;
	color: #ffffff;
	margin-top: 0;
	margin-left: 0;
	padding-top: 0;
	padding-left: 4px;
	padding-right: 4px;
	height: 32px;
	vertical-align: middle;
}
div.head p {
	margin: 0;
	vertical-align: middle;
}
div.head a:link {
	color: #28656f;
	text-decoration: none;
}
div.head a:visited {
	color: #28656f;
	text-decoration: none;
}
div.head a:hover {
	color: #7f7fff;
	text-decoration: underline;
}

div.headnav {
	margin: 0;
	padding-top: 1px;
	padding-bottom: 1px;
	border-left-width: 2px;
	border-left-style: solid;
	border-color: #113e53;
	padding-left: 2ex;
	padding-right: 2.5ex;
}
div.headnav p {
	text-align: right;
	font-size: small;
	margin: 0;
}

div.logo {
        margin: 0;
        padding: 0;
	border-left-width: 2px;
	border-left-style: solid;
	border-color: #c2d4d7;
}
div.logo p {
        margin: 0;
        padding: 0;
}
	

div.core {
	margin: 0;
	padding-top: 1ex;
	padding-bottom: 2ex;
	border-left-width: 2px;
	border-left-style: solid;
	border-color: #c2d4d7;
	padding-left: 2ex;
	padding-right: 2.5ex;
}
div.core h1,h2,h3,h4,h5 {
	border-bottom-width: 1px;
	border-bottom-style: solid;
	border-color: #c2d4d7;
	color: #23545c;
	padding: .1ex .3em .1ex 0;
	margin: 3ex 0 1ex 0;
	font-weight:normal;
	line-height: 120%;
}
div.core h1 {
	font-size: 210%;
}
div.core h2 {
	font-size: 160%;
}
div.core h3 {
	font-size: 135%;
}
div.core h4 {
	font-size: 122%;
}
div.core h5 {
	font-size: 100%;
}
div.core p {
	text-align: justify;
}
div.core p.topnav {
	text-indent: 0;
	text-align: right;
	font-size: small;
}
div.core p.firstpar {
	text-indent: 0;
	margin-top: 1ex;
}
div.core p.sep {
	margin-top: 1ex;
	margin-bottom: 1ex;
	text-align: center;
	font-size: large;
	font-weight: bold;
	letter-spacing: 1ex;
}
div.core p.meta {
	font-style: italic;
}
div.core p.metanoindent {
	font-style: italic;
	text-indent: 0;
}	
div.core p.note {
	margin-left: 2em;
}
div.core p.note:before {
	content: "Note: "
}

div.core div.quote {
	margin-left: 2em;
	border-width: 2px;
	border-color: #f0f0f0;
	border-left-style: solid;
	border-bottom-style: solid;
}

div.core div.quote p {
	padding-left: .5em;
	padding-right: .5em;
}

div.core div.quote p.reference {
	background-color: #f0f0f0;
	font-size: small;
}

div.core p.dl {
	margin-left: 2em;
	text-indent: -1em;
}
div.core p.dlcont {
	margin-left: 2em;
}
div.core p.dl span.dt {
	font-weight: bold;
}

p.obsolete {
	color: #7f7f7f;
}

p.code {
	font-family: monospace;
}

div.core div.inline {
	float: right;
	margin-top: 2ex;
	margin-bottom: 2ex;
	margin-left: 4ex;
	width: 300px;
	font-size: small;
}
img {
	border-style: none;
}
div.core div.inline div.inline_caption p {
	text-indent: 0;
	text-align: center;
}

div.core a:link {
	color: #00007f;
	text-decoration: none;
}
div.core a:visited {
	color: #0000ff;
	text-decoration: none;
}
div.core a:hover {
	color: #0000ff;
	text-decoration: underline
}
/*
div.core ul {
	margin-top: 4ex;
}

div.core li {
	margin-top: -2ex;
}

div.core li p {
	margin-top: 0;
	margin-bottom: 2ex;
}
*/
table.two {
	border-collapse: collapse;
}

table.two th {
	border-style: solid;
	border-width: 1px;
	border-color: #c2d4d7;
	font-variant: small-caps;
	background-color: #f0f6ff;
	padding: 0 .2em;
}

table.two th.method {
	width: 2.0em;
}
table.two td {
	border-style: solid;
	border-width: 1px;
	border-color: #c2d4d7;
	text-align: center;
	vertical-align: top;
	padding: 0 .2em;
}

table.two td.hf {
	text-align: left;
}

div.core div.notewell {
	margin: 2ex;
	margin-top: 8ex;
	border-style: solid;
	border-color: #c2d4d7;
	border-width: 2px;
}

div.core div.notewell p {
	padding: 0 1ex;
}
div.core div.notewell p.head {
	background-color: #c2d4d7;
	font-size: 120%;
	font-weight: bold;
	text-align: center;
	margin: 0;
}

div.nav {
	margin: 0;
	border-top-width: 1px;
	border-top-style: solid;
	border-top-color: #113e53;
	background-color: #E4EEFF;
	font-size: small;
	padding-left: 1ex;
	padding-right: 1ex;
	padding-bottom: 1px;
}

div.nav p {
	margin: .5ex 0;
}

div.foot {
	margin: 0;
	background-color: #f0f6ff;
	font-size: small;
	padding-top: 1px;
	padding-left: 1ex;
	padding-right: 1ex;
	padding-bottom: .1ex;
}

div.foot p {
	margin: .5ex 0;
}

a:link {
	color: #28656f;
	text-decoration: none;
}
a:visited {
	color: #28656f;
	text-decoration: none;
}
a:hover {
	color: #7f7fff;
	text-decoration: underline;
}