.wp_syntax {color: #100;background-color: #f9f9f9;margin: 0 0 1.5em 0;overflow: auto;}
/* 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;}
/* padding: 2px 4px; */
.wp_syntax div, .wp_syntax td {vertical-align: top;}
.wp_syntax .line_numbers {text-align: right;background-color: #def;color: gray;overflow: visible;}
/* potential overrides for other styles */
.wp_syntax pre {margin: 0;width: auto;float: none;clear: none;overflow: visible;font-size: 96%;line-height: 1.5;white-space: pre;}