BODY ADDRESS {
	MARGIN: 0.6em 0px; LINE-HEIGHT: 1.3
}
BODY BLOCKQUOTE {
	MARGIN-TOP: 0.75em; MARGIN-BOTTOM: 0.75em; LINE-HEIGHT: 1.5
}
HTML BODY {
	MARGIN: 1em 8% 1em 10%; LINE-HEIGHT: 1.2
}
.LEGALNOTICE {
	FONT-SIZE: small; FONT-VARIANT: small-caps
}
BODY DIV {
	MARGIN: 0px
}
DL {
	MARGIN: 0.8em 0px; LINE-HEIGHT: 1.2
}
BODY FORM {
	MARGIN: 0.6em 0px
}
H1 {
	COLOR: #990000
}
H2 {
	COLOR: #990000
}
H3 {
	COLOR: #990000
}
H4 {
	COLOR: #990000
}
H5 {
	COLOR: #990000
}
H6 {
	COLOR: #990000
}
DIV.EXAMPLE P B {
	COLOR: #990000
}
.QUESTION {
	COLOR: #990000
}
DIV.TABLE P B {
	COLOR: #990000
}
DIV.PROCEDURE P B {
	COLOR: #990000
}
BODY H1 {
	MARGIN: 0.8em 0px 0px -4%; LINE-HEIGHT: 1.3
}
BODY H2 {
	MARGIN: 0.8em 0px 0px -4%; LINE-HEIGHT: 1.3
}
BODY H3 {
	MARGIN: 0.8em 0px 0px -3%; LINE-HEIGHT: 1.3
}
BODY H4 {
	MARGIN: 0.8em 0px 0px -3%; LINE-HEIGHT: 1.3
}
BODY H5 {
	MARGIN: 0.8em 0px 0px -2%; LINE-HEIGHT: 1.3
}
BODY H6 {
	MARGIN: 0.8em 0px 0px -1%; LINE-HEIGHT: 1.3
}
BODY HR {
	MARGIN: 0.6em
}
BODY IMG.NAVHEADER {
	MARGIN: 0px 0px 0px -4%
}
OL {
	MARGIN: 0px 0px 0px 5%; LINE-HEIGHT: 1.2
}
BODY P {
	MARGIN: 0.6em 0px; LINE-HEIGHT: 1.2
}
BODY PRE {
	MARGIN: 0.75em 0px; COLOR: #461b7e; LINE-HEIGHT: 1
}
BODY TD {
	LINE-HEIGHT: 1.2
}
BODY TH {
	LINE-HEIGHT: 1.2
}
UL {
	MARGIN: 0px 0px 0px 5%; LINE-HEIGHT: 1.2
}
BODY DIR {
	MARGIN: 0px 0px 0px 5%; LINE-HEIGHT: 1.2
}
BODY MENU {
	MARGIN: 0px 0px 0px 5%; LINE-HEIGHT: 1.2
}
HTML {
	PADDING-RIGHT: 0px; PADDING-LEFT: 0px; PADDING-BOTTOM: 0px; MARGIN: 0px; PADDING-TOP: 0px
}
.FILENAME {
	COLOR: #007a00
}
BODY H1 {
	MARGIN-LEFT: 0px
}
BODY H2 {
	MARGIN-LEFT: 0px
}
BODY H3 {
	MARGIN-LEFT: 0px
}
BODY H4 {
	MARGIN-LEFT: 0px
}
BODY H5 {
	MARGIN-LEFT: 0px
}
BODY H6 {
	MARGIN-LEFT: 0px
}
.GUIMENU {
	BACKGROUND-COLOR: #f0f0f0
}
.GUIMENUITEM {
	BACKGROUND-COLOR: #f0f0f0
}
.GUISUBMENU {
	BACKGROUND-COLOR: #f0f0f0
}
.GUILABEL {
	BACKGROUND-COLOR: #f0f0f0
}
.INTERFACE {
	BACKGROUND-COLOR: #f0f0f0
}
.GUIBUTTON {
	BACKGROUND-COLOR: #f0f0f0
}
.SHORTCUT {
	BACKGROUND-COLOR: #f0f0f0
}
.SHORTCUT .KEYCAP {
	BACKGROUND-COLOR: #f0f0f0
}
.ACCEL {
	BACKGROUND-COLOR: #f0f0f0; TEXT-DECORATION: underline
}
.PROGRAMLISTING {
	MARGIN-LEFT: 3ex
}
.SCREEN {
	MARGIN-LEFT: 3ex
}