style: Make line numbers grey

When using pygments, make the line numbers grey.

This was the intention all along, but the <a> style overrides the <div>
style and the grey colour does not take effect.

This patch fixes the problem by setting the style specifically to <a>
within the line numbers div.
This commit is contained in:
Alberto Bertogli 2017-08-27 14:46:52 +01:00
parent 9c8a6d2408
commit c96d0dbea6

@ -183,9 +183,11 @@ table.blob-binary tr.etc {
/* Pygments overrides. */ /* Pygments overrides. */
div.linenodiv { div.linenodiv {
padding-right: 0.5em; padding-right: 0.5em;
color: gray;
font-size: medium; font-size: medium;
} }
div.linenodiv a {
color: gray;
}
div.source_code { div.source_code {
background: inherit; background: inherit;
font-size: medium; font-size: medium;