.wp_syntax {
	BORDER-BOTTOM: #fff 2px solid; BORDER-LEFT: #fff 2px solid; PADDING-BOTTOM: 5px; MARGIN: 1.5em 0px; MIN-HEIGHT: 3em; PADDING-LEFT: 10px; PADDING-RIGHT: 10px; BACKGROUND: #e2f5fc; COLOR: #100; OVERFLOW: auto; BORDER-TOP: #fff 2px solid; BORDER-RIGHT: #fff 2px solid; PADDING-TOP: 5px
}
.wp_syntax TABLE {
	BORDER-COLLAPSE: collapse
}
*.wp_syntax DIV {
	PADDING-BOTTOM: 2px; PADDING-LEFT: 4px; PADDING-RIGHT: 4px; VERTICAL-ALIGN: top; PADDING-TOP: 2px
}
*.wp_syntax TD {
	PADDING-BOTTOM: 2px; PADDING-LEFT: 4px; PADDING-RIGHT: 4px; VERTICAL-ALIGN: top; PADDING-TOP: 2px
}
*.wp_syntax *.line_numbers {
	TEXT-ALIGN: right; BACKGROUND-COLOR: #def; COLOR: gray; OVERFLOW: visible
}
*.wp_syntax PRE {
	LINE-HEIGHT: 1.333; MARGIN: 0px; WIDTH: auto; FLOAT: none; CLEAR: none; FONT-SIZE: 12px; OVERFLOW: visible
}