Skip to content

Commit 90729eb

Browse files
committedJan 6, 2018
added bootstrap for some nice GUI
because otherwise we are too stupid for this
1 parent 1db172b commit 90729eb

File tree

3 files changed

+8
-448
lines changed

3 files changed

+8
-448
lines changed
 

‎bootstrap.min.css

+7
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎index.html

+1-1
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@
55
<title>FIXME</title>
66

77

8-
<!-- <link rel="stylesheet" href="normalize.css"> -->
8+
<link rel="stylesheet" href="bootstrap.min.css">
99
<link rel="stylesheet" href="leaflet.css">
1010

1111
<!-- for the time being, externalize later -->

0 commit comments

Comments
 (0)