.wp_syntax{color:#100;background-color:#f9f9f9;border:1px
solid silver;margin:0
0 1.5em 0;overflow:auto}.wp_syntax{overflow-x:auto;overflow-y:hidden;padding-bottom:expression(this.scrollWidth > this.offsetWidth ? 15 : 0);width:100%}.wp_syntax
table{border-collapse:collapse}.wp_syntax div, .wp_syntax
td{vertical-align:top;padding:2px
4px}.wp_syntax
.line_numbers{text-align:right;background-color:#def;color:gray;overflow:visible}.wp_syntax
pre{margin:0;width:auto;float:none;clear:none;overflow:visible;font-size:12px;line-height:1.333;white-space:pre}