.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}