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/072scheduler.cc.html | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'html/072scheduler.cc.html')

diff --git a/html/072scheduler.cc.html b/html/072scheduler.cc.html
index 811770b5..392eef4c 100644
--- a/html/072scheduler.cc.html
+++ b/html/072scheduler.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; }
 .traceAbsent { color: #c00000; }
-- 
cgit 1.4.1-2-gfad0