BODY {
	BACKGROUND-COLOR: white; COLOR: black; FONT-FAMILY: sans-serif; TEXT-ALIGN: justify
}
P {
	BACKGROUND-COLOR: white; COLOR: black; FONT-FAMILY: sans-serif; TEXT-ALIGN: justify
}
DT {
	FONT-SIZE: 14pt; FONT-WEIGHT: bold; PADDING-TOP: 12pt
}
DD {
	FONT-SIZE: 12pt
}
H1 {
	FONT-FAMILY: utopia, Times New Roman, Times Roman, Times, serif; FONT-SIZE: 32pt; FONT-WEIGHT: bold; TEXT-ALIGN: center
}
H2 {
	FONT-FAMILY: utopia, Times New Roman, Times Roman, Times, serif; FONT-SIZE: 24pt; FONT-WEIGHT: bold; TEXT-ALIGN: left
}
H3 {
	FONT-FAMILY: utopia, Times New Roman, Times Roman, Times, serif; FONT-SIZE: 18pt; FONT-WEIGHT: bold; TEXT-ALIGN: left
}
A:link {
	COLOR: blue; FONT-WEIGHT: bold; TEXT-DECORATION: none
}
A:active {
	COLOR: darkblue; FONT-WEIGHT: bold; TEXT-DECORATION: none
}
A:visited {
	COLOR: darkblue; TEXT-DECORATION: none
}
CODE {
	FONT-FAMILY: monospace
}
PRE {
	FONT-FAMILY: monospace
}
LI {
	LIST-STYLE: url(http://www.logicalshift.org.uk/lsr8small.png)
}
TD {
	TEXT-ALIGN: left
}
.figure {
	FONT-WEIGHT: bold; TEXT-ALIGN: center
}
.caption {
	FONT-STYLE: italic; FONT-WEIGHT: bold; TEXT-ALIGN: center
}
.quote {
	FONT-WEIGHT: bold; MARGIN-LEFT: 2em
}
.quotedesc {
	MARGIN-LEFT: 5em
}
.example {
	FONT-WEIGHT: bold; MARGIN-LEFT: 2em
}
.exampledesc {
	FONT-FAMILY: sans-serif; FONT-WEIGHT: normal
}
.titchy {
	FONT-SIZE: 8pt
}
.abstract {
	FONT-STYLE: italic; FONT-WEIGHT: normal
}
.defn {
	FONT-SIZE: 14pt; FONT-WEIGHT: bold; MARGIN-TOP: 12pt
}
.red {
	COLOR: rgb(255,0,0)
}