basic CSS: avoid unnecessary padding to the left of line numbers

This commit is contained in:
Matthias Geier 2020-05-24 17:34:06 +02:00
parent 302c23fb5c
commit d326f8cc7e

View File

@ -680,7 +680,7 @@ table.highlighttable td {
}
table.highlighttable td.linenos {
padding: 0 0.5em;
padding-right: 0.5em;
}
table.highlighttable td.code {