Commit e95e88fd4cc0fb0630f7d44583d5c311dd99ae50

Authored by Andrei Pfeiffer
Committed by GitHub
1 parent 0dfd56cd
Exists in master

Decrease font size in example web page

Showing 1 changed file with 1 additions and 1 deletions   Show diff stats
docs/index.html
... ... @@ -8,7 +8,7 @@
8 8 <style>
9 9 html {
10 10 font-family: monospace;
11   - font-size: 1.5em;
  11 + font-size: 1.3em;
12 12 display: flex;
13 13 min-height: 100%;
14 14 }
... ...