make highlighter generate links to .css files mentioned in comments

2020-12-06 15:55:51 +02:00
parent d30c6209f6
commit cf7d1ea23c
2 changed files with 23 additions and 1 deletions
--- a/html_resources/main.css
+++ b/html_resources/main.css
@@ -31,6 +31,7 @@ body{background-color: rgb(60,50,70); color: silver; margin: 0px }
 }

 a{ color: rgb(100,150,200); margin-inline-start: 1ch }
+pre a{ margin: 0 }
 a:visited{ color: rgb(150,100,200) }
 a:hover{ color: rgb(200,150,100) }
 pre:empty{ display: none }