3764 - better colors for cross-links

1 files changed, 9 insertions, 5 deletions

diff --git a/update_html b/update_html
index 897a6e6e..835a9320 100755
--- a/update_html
+++ b/update_html
@@ -10,14 +10,18 @@ process() {
   sed -i 's,\.html</title>,</title>,' $1.html
   sed -i 's/^\* { \(.*\) }/* { font-size: 12pt; \1 }/g' $1.html
   sed -i 's/^body { \(.*\) }/body { font-size: 12pt; \1 }/g' $1.html
-  sed -i 's/^\.LineNr .*/.LineNr { color: #444444; }/' $1.html  # line numbers
-  # make links less salient since we may have a lot of cross-links
+  # turn most code grey
+  sed -i 's/#eeeeee/#aaaaaa/g' $1.html
+  # ..so that we can use white for cross-links (underlining only on hover)
   sed -i '/^body {/ a  a:hover { text-decoration: underline; }' $1.html
-  sed -i '/^body {/ a  a { text-decoration: none; }' $1.html
-  # tweak contrast
+  sed -i '/^body {/ a  a { color:#eeeeee; text-decoration: none; }' $1.html
+  # line numbers are darker still
+  sed -i 's/^\.LineNr .*/.LineNr { color: #444444; }/' $1.html  # line numbers
+  # tweak contrast for remaining colors
   sed -i 's/^\.Constant .*/.Constant { color: #00a0a0; }/' $1.html
   sed -i 's/^\.muControl .*/.muControl { color: #c0a020; }/' $1.html
-  sed -i 's/^\.Comment .*/.Comment { color: #9090ff; }/' $1.html
+  # real links in comments continue to be the usual blue
+  sed -i 's/^\.Comment .*/.Comment { color: #9090ff; }\n.Comment a { color:#0000ee; text-decoration:underline; }/' $1.html
   sed -i 's/^\.Delimiter .*/.Delimiter { color: #800080; }/' $1.html  # not meant to be read; can be lower-contrast
   sed -i 's/^\.PreProc .*/.PreProc { color: #800080; }/' $1.html  # not meant to be read; can be lower-contrast
   sed -i 's/^\.Identifier .*/.Identifier { color: #c0a020; }/' $1.html  # same as muControl