From dbe124108b7a3529feeeba91339928c4ac737072 Mon Sep 17 00:00:00 2001
From: "Kartik K. Agaram" <vc@akkartik.com>
Date: Tue, 23 Jun 2015 14:02:12 -0700
Subject: 1631 - update html versions

Html is a little more readable thanks to feedback from J David Eisenberg
(https://news.ycombinator.com/item?id=9766330), in particular the
suggestion to use https://addons.mozilla.org/En-us/firefox/addon/wcag-contrast-checker.
---
 html/023jump.cc.html | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'html/023jump.cc.html')

diff --git a/html/023jump.cc.html b/html/023jump.cc.html
index 3f66359a..9a8206a8 100644
--- a/html/023jump.cc.html
+++ b/html/023jump.cc.html
@@ -12,14 +12,14 @@
 <!--
 pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
 body { font-family: monospace; color: #eeeeee; background-color: #080808; }
-* { font-size: 1em; }
+* { font-size: 1.05em; }
 .traceContains { color: #008000; }
-.Constant { color: #008080; }
+.Constant { color: #00a0a0; }
 .traceAbsent { color: #c00000; }
-.Comment { color: #8080ff; }
-.Delimiter { color: #c000c0; }
+.Comment { color: #9090ff; }
+.Delimiter { color: #a04060; }
 .Special { color: #ff6060; }
-.CommentedCode { color: #6c6c6c; }
+.Comment { color: #9090ff; }
 .Identifier { color: #804000; }
 -->
 </style>
-- 
cgit 1.4.1-2-gfad0