diff options
| author | Rodrigo Arias Mallo <rodarima@gmail.com> | 2025-09-28 20:26:15 +0200 |
|---|---|---|
| committer | Rodrigo <rodarima@gmail.com> | 2025-09-28 23:10:55 +0200 |
| commit | fb510ea86be5ceb9e91573890242581fdbd77ad8 (patch) | |
| tree | d819fe40683592008d136727f5a0b03e48dc1164 /219/index.md | |
Diffstat (limited to '219/index.md')
| -rw-r--r-- | 219/index.md | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/219/index.md b/219/index.md new file mode 100644 index 0000000..eb2168c --- /dev/null +++ b/219/index.md @@ -0,0 +1,14 @@ +Title: Add anchor to HTML source lines and improve the design +Author: rodarima +Created: Wed, 10 Jul 2024 20:12:15 +0000 +State: closed + +Adds a line anchor so we can make hyperlinks to an specific line. + +Additionally improves a bit the design of the line number colors: + +Here is the old style: + + +And new: +
\ No newline at end of file |