.wp_syntax { color: #100; background-color: #f4f4f4; border: 1px solid silver; overflow: auto;line-height:20px }
/* IE FIX */
.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: #ddd; color: gray; overflow: visible;padding:0 12px; border-right: 1px solid silver;}
/* potential overrides for other styles */
.wp_syntax pre { margin: 0; width: auto; float: none; clear: none; overflow: visible; font-size: 12px; white-space: pre; }