BODY {
	MARGIN-TOP: 0px; FONT-SIZE: 16px; MARGIN-LEFT: 113px; COLOR: #000000; MARGIN-RIGHT: 30px; FONT-FAMILY: Times
}
TD {
	FONT-SIZE: 16px; FONT-FAMILY: times
}
.testbar {
	RIGHT: -30px; POSITION: relative
}
.note {
	BACKGROUND-COLOR: #ffffce
}
.unknown {
	FONT-SIZE: 10px; COLOR: #ff3100; FONT-FAMILY: Arial, Helvetica, sans-serif
}
.caption {
	FONT-SIZE: 14px; FONT-FAMILY: Times
}
.number {
	FONT-SIZE: 14px; FONT-FAMILY: Times
}
.signature {
	FONT-SIZE: 14px; FLOAT: right; FONT-STYLE: italic; FONT-FAMILY: "Times New Roman", Times, serif
}
.pre {
	FONT-SIZE: 14px; FONT-FAMILY: "Times New Roman", Times, serif
}
.descriptiontitle {
	MARGIN-TOP: 15px; FONT-WEIGHT: bold; FONT-SIZE: 18px; MARGIN-BOTTOM: 15px; COLOR: #660000; FONT-FAMILY: Verdana, sans-serif
}
.modelname {
	MARGIN-TOP: 15px; FONT-WEIGHT: bold; FONT-SIZE: 16px; MARGIN-BOTTOM: 15px; FONT-FAMILY: Verdana, sans-serif
}
.unit {
	FONT-SIZE: 11px; FONT-FAMILY: Verdana, Geneva, Arial, Helvetica, sans-serif
}
.table {
	BACKGROUND-COLOR: #b2584b
}
.theorem {
	BACKGROUND-REPEAT: repeat
}
.proof {
	FONT-SIZE: 16px
}
.prooftitle {
	FONT-SIZE: 16px
}