From b3f44d64c453814d1a04804a3f2c2d1fbdfa8899 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Tue, 23 Jun 2015 15:25:47 -0700 Subject: 1632 --- update_html | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'update_html') diff --git a/update_html b/update_html index d374774c..14bd8ed5 100755 --- a/update_html +++ b/update_html @@ -10,7 +10,7 @@ sed -i 's,\~/Desktop/s/mu/,<title>Mu - ,' html/* sed -i 's,\.html,,' 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 +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