blob: c8a1c9d1180df56a27097bbf8396c770f5eb1142 (plain) pre { line-height: 125%; margin: 0; } td.linenos pre { color: #000000; background-color: #f0f0f0; padding: 0 5px 0 5px; } span.linenos { color: #000000; backgrou