From 4c4d325ca8544f52bb305dbb46b1f8144c33c2af Mon Sep 17 00:00:00 2001
From: "Kartik K. Agaram" <vc@akkartik.com>
Date: Mon, 26 Dec 2016 22:09:54 -0800
Subject: 3716

Make hyperlinks less salient in the rendered html since there's so many of them.
---
 html/x.mu.html | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'html/x.mu.html')

diff --git a/html/x.mu.html b/html/x.mu.html
index 9c2868c2..66d39b59 100644
--- a/html/x.mu.html
+++ b/html/x.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; }
-- 
cgit 1.4.1-2-gfad0