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