diff options
| author | EuAndreh <eu@euandre.org> | 2020-02-03 20:23:26 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2020-02-03 20:23:26 -0300 |
| commit | 7430855408390d1e561365715e21024b1a5acc7e (patch) | |
| tree | 832d921f74b6f25b2fdc2fea7c7e6ca52c03d177 /site/css | |
| parent | TODOs.org (diff) | |
| download | euandre.org-7430855408390d1e561365715e21024b1a5acc7e.tar.gz euandre.org-7430855408390d1e561365715e21024b1a5acc7e.tar.xz | |
CSS: Do CSS line numbering the right way
Diffstat (limited to 'site/css')
| -rw-r--r-- | site/css/styles.css | 20 |
1 files changed, 19 insertions, 1 deletions
diff --git a/site/css/styles.css b/site/css/styles.css index 0b195e6..eb4bb78 100644 --- a/site/css/styles.css +++ b/site/css/styles.css @@ -41,15 +41,33 @@ footer li a { margin-left: 5px; } +div.sourceCode { + padding: 3px; + border: 1px solid; + border-radius: 10px; +} + pre { white-space: pre-wrap; - margin-left: 3ex; + counter-reset: line; } code { font-family: monospace; } +pre a:before { + color: #aaa; + content: counter(line); + counter-increment: line; + display: inline-block; + width: 3em; + margin-left: auto; + margin-right: 1em; + padding-left: auto; + text-align: right; +} + article .header { color: #555; font-size: 14px; |