Change color of sound on/off icon

Make it a pleasing, high-constrast white color instead of that ugly green
AlexNisnevich · Sep 19, 2013 · 64ad156 · 64ad156
1 parent c331579
commit 64ad156
Show file tree

Hide file tree

Showing 6 changed files with 3 additions and 3 deletions.
diff --git a/images/mute-off.gif b/images/mute-off.gif
diff --git a/images/mute-off.png b/images/mute-off.png
diff --git a/images/mute-on.gif b/images/mute-on.gif
diff --git a/images/mute-on.png b/images/mute-on.png
diff --git a/index.html b/index.html
@@ -27,7 +27,7 @@
 		<div>
 			<h1>Untrusted</h1>
 			<h2>&mdash;or&mdash; the Continuing Adventures of Dr. Eval</h2>
-			<a id="muteButton"><img src="images/mute-off.gif" /></a>
+			<a id="muteButton"><img src="images/mute-off.png" /></a>
 		</div>
 		<div id="panes">
 			<div id="screenPane">

diff --git a/scripts/sound.js b/scripts/sound.js
@@ -58,11 +58,11 @@ function Sound() {
 		if (muted) {
 			bgPlayerElt.jPlayer('unmute');
 			soundPlayerElt.jPlayer('unmute');
-			$("#muteButton img").attr('src', 'images/mute-off.gif');
+			$("#muteButton img").attr('src', 'images/mute-off.png');
 		} else {
 			bgPlayerElt.jPlayer('mute');
 			soundPlayerElt.jPlayer('mute');
-			$("#muteButton img").attr('src', 'images/mute-on.gif');
+			$("#muteButton img").attr('src', 'images/mute-on.png');
 		}
 		muted = !muted;
 	}