body {
	background-color: white;
}

h1 {
	padding: 0.6em 1.0em;
	border-style: solid;
        border-width: 1px 1px 5px 1px;
	border-color: #9999CC;
	color: #444444;
	background-color: #eeeeee;
}

h2 {
        margin: 2em 2% 1.5em 0;
	padding: 0.3em 1.5em;
	border-style: solid;
        border-width: 1px 1px 1px 5px;
	border-color: #9999CC;
	color: #444444;
	background-color: #eeeeee;
}


h3 {
        margin: 2em 2% 1.5em 0.5em;
	padding: 0.2em 1.5em;
	border-style: solid;
        border-width: 1px 1px 1px 5px;
	border-color: #9999CC;
	color: #444444;
	background-color: #eeeeee;
}


h4 {
        margin: 1em 2% 1em 0.5em;
}


p {
        margin: 1em 6% 1em 1em;
	text-indent: 1em;
	line-height: 140%;
}

ul {
        margin: 1.5em 8% 1.5em 2.5em;
	text-indent: 1em;
	line-height: 140%;
}

ol {
        margin: 1.5em 8% 1.5em 2.5em;
	text-indent: 1.5em;
	line-height: 140%;
}

hr {
	border-style: solid;
	border-color: #9999CC;
}

blockquote {
	margine: 2em 0 2em 0;
	padding: 1.0em 1.0em;
	background-color: #f3eeee;
        border-width: 1px 1px 1px 1px;
	border-style: solid;
	border-color: #999999;
	line-height: 140%;
}

blockquote.code {
	text-indent: 0;
}

p.updated {
        margin: 0 2% 0 0;
	font-size: 0.8em;
	text-align: right;
}

p.langselector {
        margin: 0 2% 0 0;
	text-align: right;
}

address {
	text-align: right;
}


a.nonexistent {
	background-color: #CCCCCC; 
}

dt.contents {
        margin: 0 2% 0.2em 1.5em;
}

pre.example {
        margin: 2em 10% 2em 3em;
	padding: 1.0em 1.0em;
	background-color: #f3eeee;
        border-width: 1px 1px 1px 1px;
	border-style: solid;
	border-color: #999999;
	line-height: 140%;
}