.wp_syntax {
       color: #666;
       border: 1px solid #eee;
       overflow: auto;
       margin-bottom: 15px;
       background: #f9f9f9;
	   max-height: 400px;
	   height:auto !important;
	   line-height: 1.333;
    }

    /* IE FIX */
    .wp_syntax {
       overflow-x: auto;
       overflow-y: auto;
       padding-bottom: expression(this.scrollWidth > this.offsetWidth ? 15 : 0);
       width: 100%;
    }

    .wp_syntax table {
       border-collapse: collapse;
	   line-height: 1.333;
    }

    .wp_syntax div, .wp_syntax td {
       vertical-align: top;
       padding: 2px 4px;
	   line-height: 1.333;
    }

    .wp_syntax .line_numbers {
       text-align: right;
       background-color: #def;
       color: gray;
       overflow: visible;
	   font-size: 12px;
	   line-height: 1.333;
    }

    /* potential overrides for other styles */
    .wp_syntax pre {
       margin: 0;
       width: auto;
	   height: auto;
       float: none;
       clear: none;
       overflow: visible;
	   font-size: 12px;
       line-height: 1.333;
       white-space: pre;
    }