BODY {
	PADDING-RIGHT: 0px; PADDING-LEFT: 0px; FONT-SIZE: 80%; BACKGROUND: #ffffff; PADDING-BOTTOM: 0px; MARGIN: 0px; COLOR: #000000; PADDING-TOP: 0px; FONT-FAMILY: Arial, Helvetica, 'Bitstream Vera Sans', 'Luxi Sans', Verdana, Sans-Serif
}
A:link {
	FONT-WEIGHT: bold; COLOR: #0081ac; TEXT-DECORATION: none
}
A:visited {
	FONT-WEIGHT: bold; COLOR: #0081ac; TEXT-DECORATION: none
}
A:hover {
	FONT-WEIGHT: bold; COLOR: #0081ac; TEXT-DECORATION: none
}
A:hover {
	TEXT-DECORATION: underline
}
A:visited {
	COLOR: #0081ac
}
DIV.top {
	BACKGROUND: #0081ac; WIDTH: 100%; BORDER-BOTTOM: black 1px solid; HEIGHT: 100px
}
DIV.top A.logo {
	BACKGROUND: none transparent scroll repeat 0% 0%; COLOR: #ffffff; BORDER-TOP-STYLE: none; BORDER-RIGHT-STYLE: none; BORDER-LEFT-STYLE: none; TEXT-DECORATION: none; BORDER-BOTTOM-STYLE: none
}
DIV.top A.logo:link {
	BACKGROUND: none transparent scroll repeat 0% 0%; COLOR: #ffffff; BORDER-TOP-STYLE: none; BORDER-RIGHT-STYLE: none; BORDER-LEFT-STYLE: none; TEXT-DECORATION: none; BORDER-BOTTOM-STYLE: none
}
DIV.top A.logo:hover {
	BACKGROUND: none transparent scroll repeat 0% 0%; COLOR: #ffffff; BORDER-TOP-STYLE: none; BORDER-RIGHT-STYLE: none; BORDER-LEFT-STYLE: none; TEXT-DECORATION: none; BORDER-BOTTOM-STYLE: none
}
DIV.top A.logo:visited {
	BACKGROUND: none transparent scroll repeat 0% 0%; COLOR: #ffffff; BORDER-TOP-STYLE: none; BORDER-RIGHT-STYLE: none; BORDER-LEFT-STYLE: none; TEXT-DECORATION: none; BORDER-BOTTOM-STYLE: none
}
DIV.top H1 {
	PADDING-RIGHT: 20px; PADDING-LEFT: 20px; FONT-SIZE: 40px; BACKGROUND: none transparent scroll repeat 0% 0%; FLOAT: left; PADDING-BOTTOM: 20px; MARGIN: 0px; COLOR: #ffffff; PADDING-TOP: 20px; FONT-FAMILY: arial
}
IMG.logo {
	FLOAT: right; BORDER-TOP-STYLE: none; BORDER-RIGHT-STYLE: none; BORDER-LEFT-STYLE: none; BORDER-BOTTOM-STYLE: none
}
#menu {
	BORDER-RIGHT: #999999 1px solid; BORDER-TOP: #999999 1px solid; MARGIN-TOP: 10px; FLOAT: left; MARGIN-BOTTOM: 0px; MARGIN-LEFT: 10px; BORDER-LEFT: #999999 1px solid; WIDTH: 150px; BORDER-BOTTOM: #999999 1px solid
}
#menu UL {
	PADDING-RIGHT: 0px; PADDING-LEFT: 0px; PADDING-BOTTOM: 0px; MARGIN: 0px; PADDING-TOP: 0px; LIST-STYLE-TYPE: none
}
#menu LI.sub {
	PADDING-RIGHT: 0px; PADDING-LEFT: 0px; FONT-WEIGHT: bold; BACKGROUND: #d6d6d6; PADDING-BOTTOM: 0px; COLOR: #000000; PADDING-TOP: 0px
}
#menu .title {
	PADDING-RIGHT: 4px; PADDING-LEFT: 4px; PADDING-BOTTOM: 4px; PADDING-TOP: 4px; TEXT-ALIGN: center
}
#menu UL.sub {
	PADDING-RIGHT: 0px; BORDER-TOP: #999999 1px solid; PADDING-LEFT: 0px; PADDING-BOTTOM: 0px; MARGIN: 0px; PADDING-TOP: 0px; BORDER-BOTTOM: #999999 1px solid; LIST-STYLE-TYPE: none
}
#menu LI A {
	PADDING-RIGHT: 4px; BORDER-TOP: #d6d6d6 1px solid; DISPLAY: block; PADDING-LEFT: 10px; BACKGROUND: #f0f0f0; PADDING-BOTTOM: 4px; MARGIN: 0px; WIDTH: 100%; COLOR: #0081ac; PADDING-TOP: 4px; BORDER-BOTTOM: #d6d6d6 1px solid
}
#menu LI A:visited {
	COLOR: #0081ac
}
UNKNOWN {
	WIDTH: auto
}
#menu LI.item A:hover {
	BORDER-TOP: #6f000b 1px solid; DISPLAY: block; BACKGROUND: #ac0011; COLOR: #ffffff; BORDER-BOTTOM: #6f000b 1px solid; TEXT-DECORATION: none
}
UL.sub LI.item A:hover {
	BORDER-TOP: #6f000b 1px solid; DISPLAY: block; BACKGROUND: #ac0011; COLOR: #ffffff; BORDER-BOTTOM: #6f000b 1px solid; TEXT-DECORATION: none
}
#sourceforge {
	BORDER-TOP-STYLE: none; BORDER-RIGHT-STYLE: none; BORDER-LEFT-STYLE: none; TEXT-ALIGN: center; BORDER-BOTTOM-STYLE: none
}
UNKNOWN {
	WIDTH: auto
}
DIV.content {
	PADDING-RIGHT: 20px; PADDING-LEFT: 20px; PADDING-BOTTOM: 20px; MARGIN-LEFT: 160px; MARGIN-RIGHT: 20px; PADDING-TOP: 20px
}
P {
	TEXT-ALIGN: justify
}
H2 {
	CLEAR: right; BORDER-BOTTOM: #000000 1px solid
}
PRE {
	BORDER-RIGHT: #006f02 1px solid; PADDING-RIGHT: 4px; BORDER-TOP: #006f02 1px solid; PADDING-LEFT: 4px; BACKGROUND: #b0e4ae; PADDING-BOTTOM: 4px; BORDER-LEFT: #006f02 1px solid; PADDING-TOP: 4px; BORDER-BOTTOM: #006f02 1px solid
}
#menu LI A.external {
	PADDING-RIGHT: 18px; BACKGROUND-POSITION: right center; BACKGROUND-IMAGE: url(/images/globe.png); BACKGROUND-REPEAT: no-repeat
}
#menu LI A.external:hover {
	PADDING-RIGHT: 18px; BACKGROUND-POSITION: right center; BACKGROUND-IMAGE: url(/images/globe.png); BACKGROUND-REPEAT: no-repeat
}