From d0a2eaecd6c1ef61fbb841d726c183923b903f0c Mon Sep 17 00:00:00 2001
From: David Vazgenovich Shakaryan <dvshakaryan@gmail.com>
Date: Wed, 11 May 2022 00:49:19 -0700
Subject: web: add prettier icons

The icons come from the lovely people at Bootstrap, who've shared them
under a permissive licence. To avoid loading a large file consisting
almost entirely of icons we'll never display, I've generated the icon
font myself, limiting it to only the glyphs we use.
---
 web/static/index.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'web/static/index.html')

diff --git a/web/static/index.html b/web/static/index.html
index 1e5b9a5..7aa2b73 100644
--- a/web/static/index.html
+++ b/web/static/index.html
@@ -14,8 +14,8 @@
 				<div>dartboat™</div>
 				<div class="input first"><span>delay</span><input id="delay" data-opt="delay" maxlength="4" value=""></div>
 				<div class="input"><span>stdev</span><input id="stdev" data-opt="stdev" maxlength="4" value=""></div>
-				<div class="button" id="flip-controls-button">&rarr;</div>
-				<div class="button" data-modal="help-modal">?</div>
+				<div class="button icon" id="flip-controls-button">&#xf1c3;</div>
+				<div class="button icon" data-modal="help-modal">&#xf50b;</div>
 			</div>
 			<div id="info">
 				<div id="oi">oi!</div>
-- 
cgit v1.2.3-70-g09d2