BODY {
	FONT-FAMILY: Verdana,'Trebuchet MS', verdana, lucida, arial, helvetica, sans-serif; BACKGROUND-COLOR: white
}
H1 {
	COLOR: red; TEXT-ALIGN: center
}
H2 {
	COLOR: red; TEXT-ALIGN: center
}
H3 {
	COLOR: red; TEXT-ALIGN: center
}
H4 {
	COLOR: red; TEXT-ALIGN: center
}
H5 {
	COLOR: red; TEXT-ALIGN: center
}
UL.contentsl1 A:link {
	FONT-WEIGHT: bolder
}
UL.contentsl1 A:visited {
	FONT-WEIGHT: bolder
}
UL.contentsl1 {
	LIST-STYLE-IMAGE: url(../images/redsq.gif); COLOR: #666; LIST-STYLE-TYPE: disc
}
UL.contentsl2 A:link {
	FONT-WEIGHT: normal
}
UL.contentsl2 A:visited {
	FONT-WEIGHT: normal
}
UL.contentsl2 {
	FONT-SIZE: 100%; LIST-STYLE-IMAGE: url(../images/goldsq.gif); COLOR: #666; LIST-STYLE-TYPE: square
}
UL.contentsl3 A:link {
	
}
UL.contentsl3 A:visited {
	
}
UL.contentsl3 {
	FONT-SIZE: 95%; LIST-STYLE-IMAGE: url(../images/greensq.gif); COLOR: #666; LIST-STYLE-TYPE: circle
}
.newprime {
	COLOR: #0f0
}
.prime {
	COLOR: #f33
}
.comp {
	FONT-SIZE: smaller; COLOR: #33c; FONT-FAMILY: Arial,Verdana,sans-serif
}
.xout {
	TEXT-DECORATION: line-through
}
.orange {
	FONT-WEIGHT: bolder; COLOR: #fc0
}
.red {
	FONT-WEIGHT: bolder; COLOR: #f60
}
.magenta {
	FONT-WEIGHT: bolder; COLOR: #f0f
}
.purple {
	FONT-WEIGHT: bolder; COLOR: #939
}
.brown {
	FONT-WEIGHT: bolder; COLOR: #900
}
.blue {
	FONT-WEIGHT: bolder; COLOR: #60f
}
.green {
	FONT-WEIGHT: bolder; COLOR: #3c0
}
.cyan {
	FONT-WEIGHT: bolder; COLOR: #0ff
}
.jade {
	FONT-WEIGHT: bolder; COLOR: #3c6
}
.plum {
	FONT-WEIGHT: bolder; COLOR: #c36
}
.skyblue {
	FONT-WEIGHT: bolder; COLOR: #36c
}
.gold {
	FONT-WEIGHT: bolder; COLOR: #ff3
}
.black {
	COLOR: #000
}
.redyell {
	FONT-WEIGHT: bolder; COLOR: red; BACKGROUND-COLOR: yellow
}
.tt {
	FONT-FAMILY: Courier,monospace
}
.ttblue {
	COLOR: blue; FONT-FAMILY: Courier,monospace
}
.ttmagenta {
	COLOR: #f0f; FONT-FAMILY: Courier,monospace
}
.ttred {
	COLOR: red; FONT-FAMILY: Courier,monospace
}
.ttgreen {
	COLOR: green; FONT-FAMILY: Courier,monospace
}
.nbHR {
	COLOR: #900; FONT-FAMILY: Courier,Monaco,monospace; BACKGROUND-COLOR: #ff9
}
.index {
	FONT-STYLE: italic
}
.index1 {
	FONT-SIZE: smaller; FONT-STYLE: italic
}
.center {
	TEXT-ALIGN: center
}
.centered {
	TEXT-ALIGN: center
}
.overline {
	TEXT-DECORATION: overline
}
.coords {
	FONT-SIZE: smaller; FONT-FAMILY: monospace
}
.eulerstats {
	FONT-WEIGHT: bolder
}
.bkt {
	FONT-SIZE: xx-large
}
.question {
	MARGIN-TOP: 10pt; MARGIN-BOTTOM: 10pt; COLOR: #960; FONT-STYLE: italic; TEXT-ALIGN: center
}
.rule {
	MARGIN-TOP: 14pt; MARGIN-BOTTOM: 14pt; COLOR: #093; FONT-FAMILY: Palatino,'Times New Roman',serif; TEXT-ALIGN: center
}
.indentrule {
	MARGIN: 3% 3% 3% 5%; COLOR: #3c0; FONT-FAMILY: Palatino,'Times New Roman',serif
}
.calc {
	BORDER-RIGHT: #c90 2px solid; BORDER-TOP: #c90 2px solid; BORDER-LEFT: #c90 2px solid; COLOR: #c63; BORDER-BOTTOM: #c90 2px solid; FONT-FAMILY: Verdana,Helvetica,sans-serif; BACKGROUND-COLOR: #ff9
}
.indent {
	MARGIN: 1% 1% 1% 5%
}
TABLE.cB00 {
	BORDER-TOP-WIDTH: 1px; BORDER-LEFT-WIDTH: 1px; BORDER-BOTTOM-WIDTH: 1px; TEXT-ALIGN: center; BORDER-RIGHT-WIDTH: 1px
}
TABLE.cB05 {
	BORDER-TOP-WIDTH: 1px; BORDER-LEFT-WIDTH: 1px; BORDER-BOTTOM-WIDTH: 1px; TEXT-ALIGN: center; BORDER-RIGHT-WIDTH: 1px
}
TABLE TD.icon {
	VERTICAL-ALIGN: top; TEXT-ALIGN: center
}
TABLE.addr {
	WIDTH: 100%
}
TABLE.lalign {
	TEXT-ALIGN: left
}
TABLE.ralign {
	TEXT-ALIGN: right
}
TABLE.calign {
	TEXT-ALIGN: center
}
UL LI.book {
	LIST-STYLE-IMAGE: url(book.gif)
}
UL LI.paper {
	LIST-STYLE-IMAGE: url(openbook.gif)
}
UL LI.link {
	LIST-STYLE-IMAGE: url(compass.gif)
}
.ttd {
	FONT-WEIGHT: bolder; COLOR: black; BACKGROUND-COLOR: #fc9; TEXT-ALIGN: center
}
OL.ttd {
	BORDER-RIGHT: 0px; BORDER-TOP: 0px; FONT-WEIGHT: bolder; BORDER-LEFT: 0px; COLOR: black; BORDER-BOTTOM: 0px; BACKGROUND-COLOR: #fc9
}
UL.ttd {
	BORDER-RIGHT: 0px; BORDER-TOP: 0px; FONT-WEIGHT: bolder; BORDER-LEFT: 0px; COLOR: black; BORDER-BOTTOM: 0px; BACKGROUND-COLOR: #fc9
}
OL.ttd LI {
	FONT-WEIGHT: normal; BACKGROUND-COLOR: #fc9; TEXT-ALIGN: left
}
UL.ttd LI {
	FONT-WEIGHT: normal; BACKGROUND-COLOR: #fc9; TEXT-ALIGN: left
}
UL.biblio {
	
}
.orangebg {
	FONT-SIZE: larger; BACKGROUND-COLOR: #fc6
}
.brownbg {
	FONT-SIZE: larger; BACKGROUND-COLOR: #c60
}
.yellowbg {
	FONT-SIZE: larger; BACKGROUND-COLOR: #ff0
}
.redbg {
	FONT-SIZE: larger; BACKGROUND-COLOR: red
}
TEXTAREA {
	FONT-FAMILY: monospace
}
.quote {
	COLOR: #c36; FONT-FAMILY: "Lucida Grande",Arial,sans-serif
}
.footnote {
	FONT-SIZE: smaller; FONT-FAMILY: "Lucida Grande",Arial,sans-serif
}
.nav {
	BORDER-RIGHT: 1px solid; BORDER-TOP: 1px solid; BORDER-LEFT: 1px solid; BORDER-BOTTOM: 1px solid; FONT-FAMILY: 'Lucida Grande',Arial,sane-serif; BACKGROUND-COLOR: #ccc
}
.wtn {
	FONT-WEIGHT: bolder; COLOR: #c36; BACKGROUND-COLOR: white; TEXT-ALIGN: center
}