731     color: #333;

   731     color: #333;

   732     border: 1px solid #ac9;

   732     border: 1px solid #ac9;

   733     border-left: none;

   733     border-left: none;

   734     border-right: none;

   734     border-right: none;

   735     overflow: auto;

   735     overflow: auto;

   736 }

   737 }

   737 

   738 

   738 td.linenos pre {

   739 td.linenos pre {

   739     padding: 5px 0px;

   740     padding: 5px 0px;

   740     border: 0;

   741     border: 0;