BODY {

	FONT-FAMILY: helvetica, arial, sans-serif; FONT-SIZE: medium; FONT-WEIGHT: normal; MARGIN-LEFT: 0.25in; MARGIN-RIGHT: 0.25in

}

A {

	COLOR: #4f89ff; TEXT-DECORATION: none

}

A :hover {

	TEXT-DECORATION: underline

}

.banner {

	FONT-SIZE: 250%; FONT-VARIANT: small-caps; FONT-WEIGHT: normal

}

.banner A {

	COLOR: #000000

}

.banner :hover {

	COLOR: #000000; TEXT-DECORATION: none

}

H3 {

	DISPLAY: block; FONT-SIZE: 125%; FONT-VARIANT: small-caps; FONT-WEIGHT: bold; MARGIN-BOTTOM: 1.25em; MARGIN-TOP: 1.25em

}

H4 {

	DISPLAY: block; FONT-SIZE: 100%; FONT-VARIANT: small-caps; FONT-WEIGHT: bold; MARGIN-BOTTOM: 1em; MARGIN-TOP: 1em

}

B {

	FONT-WEIGHT: bold

}

TT {

	FONT-FAMILY: courier

}

PRE {

	DISPLAY: block; FONT-FAMILY: courier; FONT-SIZE: 87.5%; WHITE-SPACE: pre

}

.nav {

	BACKGROUND-COLOR: #d4d4d4; FONT-SIZE: 100%; FONT-WEIGHT: normal

}

.main {

	FONT-SIZE: medium; FONT-WEIGHT: normal

}

.date {

	FONT-WEIGHT: bold

}

.arg {

	FONT-STYLE: italic

}

.keyword {

	FONT-FAMILY: courier

}

.code {

	FONT-FAMILY: courier

}