3716

Make hyperlinks less salient in the rendered html since there's so many of them.

1 files changed, 2 insertions, 0 deletions

diff --git a/html/real-files.mu.html b/html/real-files.mu.html
index b53070db..fe3f0ce3 100644
--- a/html/real-files.mu.html
+++ b/html/real-files.mu.html
@@ -12,6 +12,8 @@
 <!--
 pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
 body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
+a { text-decoration: none; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Special { color: #c00000; }
 .Comment { color: #9090ff; }