/* IE FIX  */.wp_syntax{color:#100;background-color:#f9f9f9;border:1px solid silver;overflow:auto;overflow-x:auto;overflow-y:hidden;padding-bottom:expression(this.scrollWidth > this.offsetWidth ? 15 : 0);width:100%;margin:10px 0;}.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;}/* potential overrides for other styles  */.wp_syntax pre{width:auto;float:none;clear:none;overflow:visible;font-size:12px;line-height:1.333;white-space:pre;margin:0;}