.wp_syntax {
	BORDER-RIGHT: silver 1px solid; BORDER-TOP: silver 1px solid; MARGIN: 0px 0px 1.5em; OVERFLOW: auto; BORDER-LEFT: silver 1px solid; COLOR: #100; BORDER-BOTTOM: silver 1px solid; BACKGROUND-COLOR: #f9f9f9
}
.wp_syntax {
	OVERFLOW-Y: hidden; OVERFLOW-X: auto; ; PADDING-BOTTOM: expression(this.scrollWidth > this.offsetWidth ? 15 : 0); WIDTH: 100%
}
.wp_syntax TABLE {
	BORDER-COLLAPSE: collapse
}
.wp_syntax DIV {
	PADDING-RIGHT: 4px; PADDING-LEFT: 4px; PADDING-BOTTOM: 2px; VERTICAL-ALIGN: top; PADDING-TOP: 2px
}
.wp_syntax TD {
	PADDING-RIGHT: 4px; PADDING-LEFT: 4px; PADDING-BOTTOM: 2px; VERTICAL-ALIGN: top; PADDING-TOP: 2px
}
.wp_syntax .line_numbers {
	OVERFLOW: visible; COLOR: gray; BACKGROUND-COLOR: #def; TEXT-ALIGN: right
}
.wp_syntax PRE {
	CLEAR: none; FONT-SIZE: 12px; FLOAT: none; MARGIN: 0px; OVERFLOW: visible; WIDTH: auto; LINE-HEIGHT: 1.333; WHITE-SPACE: pre
}