diff options
| author | Rodrigo Arias Mallo <rodarima@gmail.com> | 2024-07-10 21:53:49 +0200 |
|---|---|---|
| committer | Rodrigo Arias Mallo <rodarima@gmail.com> | 2024-07-18 22:29:50 +0200 |
| commit | 8f67d6e0cea4629ae2e1ca6962224aae0be15092 (patch) | |
| tree | 54927afbab41fe5d874d214ea04632212264a5dd /install-dpi-local | |
| parent | 748def5467674c0652f222830358211b2799839e (diff) | |
Improve line number style for HTML source
Make the background of line numbers appear as a single color and
increase the contrast to improve readability. Also add a bit of
space and a separator line between the numbers and the code itself.
Diffstat (limited to 'install-dpi-local')
0 files changed, 0 insertions, 0 deletions