BODY {
	MARGIN-LEFT: 3%; MARGIN-RIGHT: 3%; FONT-FAMILY: sans-serif; 
}
H2 {
	MARGIN-LEFT: -3%
}
H3 {
	MARGIN-LEFT: -3%
}
H4 {
	MARGIN-LEFT: -3%
}
H5 {
	MARGIN-LEFT: -3%
}
H6 {
	MARGIN-LEFT: -3%
}
PRE {
	FONT-WEIGHT: bold; COLOR: green; FONT-FAMILY: monospace; WHITE-SPACE: pre
}
TT {
	COLOR: green
}
EM {
	FONT-WEIGHT: bold; FONT-STYLE: italic
}
STRONG {
	FONT-WEIGHT: bold
}
.navbar {
	TEXT-ALIGN: center
}
DIV.box {
	BORDER-RIGHT: thin solid; PADDING-RIGHT: 0.2em; BORDER-TOP: thin solid; PADDING-LEFT: 0.2em; PADDING-BOTTOM: 0.2em; BORDER-LEFT: thin solid; WIDTH: 100%; PADDING-TOP: 0.2em; BORDER-BOTTOM: thin solid
}
DIV.color {
	BORDER-RIGHT: medium none; PADDING-RIGHT: 0.5em; BORDER-TOP: medium none; PADDING-LEFT: 0.5em; PADDING-BOTTOM: 0.5em; BORDER-LEFT: medium none; WIDTH: 100%; PADDING-TOP: 0.5em; BORDER-BOTTOM: medium none; BACKGROUND-COLOR: rgb(204,204,255)
}
DIV.figure {
	WIDTH: 75%; BORDER: none; MARGIN: 0em; PADDING: 0em; TEXT-ALIGN: center
}
IMG.scaled {
	width: 100%
}
PRE.bad {
	COLOR: rgb(192,101,101)
}
P.caption {
	FONT-STYLE: italic
}
P.changed {
	BORDER-RIGHT: red; BORDER-TOP: red; PADDING-LEFT: 0.2em; BORDER-LEFT: red thin solid; BORDER-BOTTOM: red
}
.dropcap {
	BORDER-TOP-WIDTH: 2px; BORDER-LEFT-WIDTH: 2px; BORDER-LEFT-COLOR: white; BACKGROUND: white; FLOAT: left; BORDER-BOTTOM-WIDTH: 2px; BORDER-BOTTOM-COLOR: white; FONT: bold 80% "Times New Roman", serif; COLOR: rgb(51,0,102); BORDER-TOP-COLOR: white; BORDER-RIGHT-WIDTH: 2px; BORDER-RIGHT-COLOR: white; table: -4% font-family: sans-serif
}
TD {
	FONT-SIZE: 80%; FONT-FAMILY: sans-serif
}
TD.shaded {
	BACKGROUND: rgb(255,255,153)
}
TH.shaded {
	BACKGROUND: rgb(204,204,153)
}
.title{
	margin: 1em 0em 0em 0em;
	padding: 0em;
	border: 0em;
}
a:link { 
	color: blue 
}	/* for unvisited links */
a:visited { 
	color: green 
}	/* for visited links */
a:active {
	color: red
}	/* when link is clicked */
a:hover { 
	color: purple 
}	/* when mouse is over link */