BODY {
/*	margin-left: 5%;
	margin-right: 5%;
*/
	color: black;
	background-color: white;
	/* font-family: arial, helvetica, sans-serif; */
	font-family: serif;
	text-align: justify;
}
H1 {
	color: black;
	font-size: 24pt;
	text-align: center;
	border-top: 2pt double;
	border-bottom: 2pt double;
	font-family: sans-serif
}
H2 {
	color: black;
	font-size: 18pt;
	font-family: sans-serif
}
H3, H4 {
	font-family: sans-serif
}
P {
	color: black;
	/* font-size: 12pt; */
	/* font-family: ; */
	text-indent: 1em;
	margin: 0.8em 0em;
	line-hight: 1.2em;
}
PRE.exp {
	background-color: #EEEEEE;
	white-space: pre;
	margin: 1em 2em;
	border: 1pt solid;
	padding: 0.5em 2em
};

TABLE {
	margin-left: 2em;
}
DIV.prop {
	background-color: #EEEEEE;
	margin: 0.5em 2em;
	border: 1pt solid;
	border-color: black;
	padding: 0.5em 2em;
}
TABLE.propt TR {
	border-top: 1pt solid;
}
TD.nb {
	white-space: nowrap;
	padding-right: 2em;
}
DIV.sample {
	margin: 0.5em 2em;
}
DL {
	margin-left: 0.5em;
	margin-right: 0.5em;
}
DL DT {
	margin-top: 1em;
	font-family: gothic sans-serif;
}
DL DD {
	margin-left: 1em;
}
DL.compact {
	margin-left: 2em;
	margin-right: 2em;
	list-style-position: inline;	
}
DL.compact DT {
	margin: 0.2em;
}
DL.compact DD {
	margin: 0.2em;
	margin-left: 1em;
}
BLOCKQUOTE {
	margin: 0.5em 1em;
	border-top: 1pt solid;
	border-bottom: 1pt solid;
	border-left: 2pt double;
	border-right: 2pt double;
	padding: 0.5em 1em;
}
DIV.center {
	text-align: center;
	margin-bottom: 0.5em;
}
DIV.center EM {
	/* font-weight: bold; */
	font-style: normal;
}
.bold {
	font-family: sans-serif;
	font-weight: bold;
}