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