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.
---
 update_html | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'update_html')

diff --git a/update_html b/update_html
index be541212..d374774c 100755
--- a/update_html
+++ b/update_html
@@ -8,3 +8,9 @@ do
 done
 sed -i 's,<title>\~/Desktop/s/mu/,<title>Mu - ,' html/*
 sed -i 's,\.html</title>,</title>,' html/*
+sed -i 's/^\*.*/* { font-size: 1.05em; }/g' html/*
+# tweak contrast
+sed -i 's/^\.Constant.*/.Constant { color: #00a0a0; }/' html/*
+sed -i 's/^\.muControl.*/.muControl { color: #c0a020; }/' html/*
+sed -i 's/^\.Comment.*/.Comment { color: #9090ff; }/' html/*
+sed -i 's/^\.Delimiter.*/.Delimiter { color: #a04060; }/' html/*  # not meant to be read/ can be lower-contrast
-- 
cgit 1.4.1-2-gfad0