body {
	font-size: 1em;
	padding: 0px 12px 0px 12px;
 	font-family: sans-serif;
	background-color: #ffffff;
	color: #000000;
}


h1, h2, h3, h4, h5 {
	margin: 0em -1em 0em 0em;
	padding: 0.5em 0em 0em 0.5em;
	background: none;
	color: #333333;
}

h1.title { font-size: 18pt; }
h1 { font-size: 15pt; }
h2 { font-size: 13pt; }
h3 { font-size: 11pt; }
h4 { font-size: 10pt; }
h5 { font-size:  8pt; }

a:link {
	color: #2f2798;
	padding: 0px 2px 0px 2px;
	background-color: #e6e4f3;
}

a:visited {
	color: #555555;
	background-color: #e6e4f3;
}

a:focus, a:hover, a:active {
	color: #000000;
	background-color: #ffffff;
}

a[name] { text-decoration: none; }

a[name]:hover { background: none; }

#main { float: left; width: 100%; }

#leftnav {
	float: left;
	position: relative;
	top: 6em;
	left: 0px;
	width:15em;
	border-left: 0px solid #332b70;
	border-right: 1px solid #332b70;
	border-bottom:1px solid #332b70;
	border-top: 1px solid #332b70;
}

/* non-IE only: */
#leftnav[id] { position: fixed; top: 80px; left: 20px; }

#leftnav h1 { font-size: 13pt; padding: 0.2em 0.2em 0em 0.2em; }
#leftnav h2 { font-size: 12pt; padding: 0.2em 0.2em 0em 0.2em; }
#leftnav h3 { font-size: 11pt; padding: 0.2em 0.2em 0em 0.2em; }
#leftnav h4 { font-size: 10pt; padding: 0.2em 0.2em 0em 0.2em; }
#leftnav h5 { font-size:  9pt; padding: 0.2em 0.2em 0em 0.2em; }

#leftnav ul, #header ul { 
	list-style: none;
	padding: 0px 0px 0px 4px;
	text-transform: lowercase;
}

#leftnav li a { display: block; padding: 1px 3px 1px 3px; }

#main #menu {
	border-left:1px solid #332b70; 
	border-bottom:1px solid #332b70;
	border-top: 1px solid #332b70;
	float:right;
	width:210px;
	margin:0px 0px 10px 10px;
	font-size: 80%;
}

#leftnav, #menu {
	margin: 0px 10px 10px 0px;
	background:#ffffff;
	padding: 4px 12px 4px 4px;
	min-height: 4em;
}

#contentbody {
	background-color: #e6e4f3;
	border: 1px solid #332b70;
	min-height: 10em;
	max-width: 45em;
	padding: 0px 1em 1em 17em;
	margin: 2em 0em 3em 0em;
	overflow: hidden;
}

#header {
	position: fixed;
	float: left;
	width: 100%;
	top: 0px;
	left: 0px;
	clear: both;
	border-bottom: solid 1px #332b70;
	background-color: #ffffff;
	line-height: 2.0em;
	height: 2.0em;
	color: #332b70;
}

#header ul { margin: 0px; }

#header li {
	float: left;
	white-space: nowrap;
	display: block;
	padding: 0em 0.5em 0em 0.5em;
	padding: 1px 2px 1px 2px;
}

#header li a, #leftnav li a, #end a {
	text-decoration: underline;
	background-color: #ffffff;
	color: #332b70;
}

#header a:focus,  #header a:hover,  #header a:active,
#leftnav a:focus, #leftnav a:hover, #leftnav a:active,
#end a:focus,     #end a:hover,     #end a:active {
	background-color: #e6e4f3;
	color: #000000;
	text-decoration: underline;
}


#end {
	float: left;
	width: 100%;
	position: fixed;
	bottom: 0px;
	left: 0px;
	clear: both;
	margin: 1.0em 0em 0em 0em;
	padding: 0.5em 0em 0.5em 0em;
	border-top: solid 1px #332b70;
	background-color: #ffffff;
	text-align: center;
	color: #555555;
	font-size: 0.8em;
}

/* reSt specific */
.document a.toc-backref {
	color: #333333;
	background-color: #e6e4f3;
}

.document div.section {
	text-align: justify;
}

.document .contents {
	font-weight: bold;
}

.document .contents .topic-title {
	font-size: 110%;
}

.document .contents ul {
	list-style: disc;
}

.document .contents ul ul {
	list-style: circle;
}

.document .literal-block {
	background-color: #eeeeee;
	color: #000000;
	padding: 2px 4px 2px 4px;
	border: 1px dotted #332b70;
	overflow: auto;
}

/* other styles used in rest */
.strike {
	text-decoration:line-through;
}