address {
	line-height: 1.3;
	margin: .6em 0;
}

blockquote {
	margin-top: .75em;
	line-height: 1.5;
	margin-bottom: .75em;
}

body {
#	margin: 1em 1% 1em 4%;
	line-height: 1.2;
	font-family: sans;
}

.legalnotice {
	font-size: small;
	font-variant: small-caps;
}

div {
	margin: 0;
}

dl {
	margin: .8em 0;
	line-height: 1.2;
}

form {
	margin: .6em 0;
}

h1 {
	color: #000000;
}

h2, h3, h4, h5, h6,
div.example p b,
.question,
div.table p b,
div.procedure p b {
	color: #990000;
}

h1 {
	margin: .8em 0 0 -4%;
	line-height: 1.3;
}

h2 {
	margin: .8em 0 0 -4%;
	line-height: 1.3;
}

h3 {
	margin: .8em 0 0 -3%;
	line-height: 1.3;
}

h4 {
	margin: .8em 0 0 -3%;
	line-height: 1.3;
}

h5 {
	margin: .8em 0 0 -2%;
	line-height: 1.3;
}

h6 {
	margin: .8em 0 0 -1%;
	line-height: 1.3;
}

hr {
	margin: .6em
}

img.navheader {
	margin: 0 0 0 -4%;
}

ol {
	margin: 0 0 0 5%;
	line-height: 1.2;
}

p {
	margin: .6em 0;
	line-height: 1.2;
}

pre {
	margin: .75em 0;
	line-height: 1.0;
	color: #461b7e;
}

th {
	line-height: 1.2;
}

code {
	color: #990000;
}

ul, dir, menu {
	margin: 0 0 0 5%;
	line-height: 1.2;
}

html {
	margin: 0; 
	padding: 0;
}

.filename {
	color: #007a00;
}

h1, h2, h3, h4, h5, h6 {
	margin-left: 0
} 

.guimenu, .guimenuitem, .guisubmenu,
.guilabel, .interface, .guibutton,
.shortcut, .keycap {
	background-color: #F0F0F0;
}

.accel {
	background-color: #F0F0F0;
	text-decoration: underline;
} 

.programlisting, .screen {
	margin-left: 2ex;
}

.revision {
	font-size: 10px;
	color: #990000;
	text-align: center;
}


/* navigation table */
table.nav {
	border-style: solid; 
	border-color: #990000; 
	background-color: #FFCC66;
	border-width: 1;
	position: relative;
	vertical-align: top;
	width: 210px;
	line-height: 1.2;
	font-size: 16px;
	text-align: left;
}

/* cell containing the navigation table */
td.nav {
	position: relative;
	vertical-align: top;
}

/* section of the navigation menu */
.navsection {
	font-size: 19px;
	font-weight: bold;
	color: #990000;
}

/* item of teh navigation menu */
.navitem {
	font-size: 14px;
}


/* header row of table */
body td.header {
	background-color: #FFFFCC;
	font-size: 18px;
}

/* simple cell of table */
body td.cell {
	line-height: 1.2;
	font-size: 15px;
	text-align: center;
}

/* cell containing the doc name (first column) in the progress table */
body td.docname {
	color: #990000;
	font-size: 17px;
}