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/001help.cc.html | 2 ++
1 file changed, 2 insertions(+)
(limited to 'html/001help.cc.html')
diff --git a/html/001help.cc.html b/html/001help.cc.html
index 3c853458..7a0d02f3 100644
--- a/html/001help.cc.html
+++ b/html/001help.cc.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; }
.Constant { color: #00a0a0; }
.cSpecial { color: #008000; }
--
cgit 1.4.1-2-gfad0