body { 	font-family: Arial, Helvetica, sans-serif;
	background-color: white;
	color: black;
	margin-left: 10%;
	margin-right: 10%;
; font-size: small; font-weight: normal
}

h1 { margin-top: 1em; }
h2 { background-color: #C5DFF0; ; width: auto}
h3 {  font-size: medium; font-weight: bold; font-family: Arial, Helvetica, sans-serif; font-style: normal}

p { text-align: justify; }

em { color: #AA0000 }

p.submenu { text-align: center; }

a 	{ font-weight: bold; color: #3300CC; text-decoration: none; }
a:hover { color: #78738C; }

pre.code {
	font-family: monospace;
	background-color: #ffdddd;
	background-color: #ffeeaa;
	padding: .5em;
	padding-left: 1em;
	border: 1px;
	border-style: solid;
	border-color: #884444;
	border-color: #cc8822;
}

div.menu { text-align: right; font-weight: bold; }
div.important {
	background-color: #ff8888;
	padding: 0;
	padding-left: 1em;
	margin-left: 1cm;
	border: 1px;
	border-color: #884444;
	border-style: solid;
	margin-bottom: .5em;
}

div.note {
	background-color: #ccffcc;
	padding: 0;
	padding-left: 1em;
	margin-left: 1cm;
	border: 1px;
	border-color: #448844;
	border-style: solid;
	margin-bottom: .5em;
}

div.tip {
	background-color: #ccffcc;
	padding: 0;
	padding-left: 1em;
	margin-left: 1cm;
	border: 1px;
	border-color: #448844;
	border-style: solid;
	margin-bottom: .5em;
}

p.admonition-title { font-weight: bold; margin-top: .5em; }

span.system    { font-family: monospace; font-weight: bold; }
span.man       { font-family: monospace; font-weight: bold; }
span.parameter { font-family: monospace; font-weight: bold; font-style: italic; }

img { border: 0; margin: 2px; }

table.nav {
	border: 0px;
	border-top: 1px;
	border-bottom: 1px;
	border-style: solid;
	width: auto;
	table-layout: fixed;
	margin-top: 0px;
	margin-bottom: 2px;
}

td.prev { width: 40%; }
td.up   { width: 20%; text-align: center; }
td.next { width: 40%; text-align: right; }

table.index {
	width: 100%;
	table-layout: fixed;
}

table {
font-family: Arial, Helvetica, sans-serif;
	background-color: white;
	color: black;
	margin-left: 0%;
	margin-right: 0%;
; font-size: small

}