BODY {
	MARGIN: 0px
}
#linkIndex {
	BORDER-RIGHT: #ffffff 2px solid; PADDING-RIGHT: 3px; BORDER-TOP: #ffffff 2px solid; PADDING-LEFT: 3px; LEFT: 0px; PADDING-BOTTOM: 3px; BORDER-LEFT: #ffffff 2px solid; WIDTH: 200px; PADDING-TOP: 3px; BORDER-BOTTOM: #ffffff 2px solid; POSITION: fixed; TOP: 0px
}
#contentsBox {
	BORDER-RIGHT: #000000 2px solid; PADDING-RIGHT: 5px; BORDER-TOP: #000000 2px solid; MARGIN-TOP: 0px; PADDING-LEFT: 5px; PADDING-BOTTOM: 0px; MARGIN-LEFT: 215px; BORDER-LEFT: #000000 2px solid; PADDING-TOP: 0px; BORDER-BOTTOM: #000000 2px solid; POSITION: relative
}
#linkIndex > A {
	PADDING-RIGHT: 0px; DISPLAY: block; PADDING-LEFT: 0px; PADDING-BOTTOM: 1px; PADDING-TOP: 1px
}
PRE.code {
	BORDER-RIGHT: #ddd 2px dashed; PADDING-RIGHT: 8px; BORDER-TOP: #ddd 2px dashed; PADDING-LEFT: 8px; PADDING-BOTTOM: 3px; MARGIN: 5px 25px; BORDER-LEFT: #ddd 2px dashed; PADDING-TOP: 3px; BORDER-BOTTOM: #ddd 2px dashed
}
DT {
	MARGIN-TOP: 1em; COLOR: #ffffff
}