diff --git a/dist/web/source/index.html b/dist/web/source/index.html
index 186cc23a4..089475a4d 100644
--- a/dist/web/source/index.html
+++ b/dist/web/source/index.html
@@ -9,7 +9,7 @@
diff --git a/dist/web/source/style.css b/dist/web/source/style.css
index dd57e1bad..299ee3b86 100644
--- a/dist/web/source/style.css
+++ b/dist/web/source/style.css
@@ -27,7 +27,7 @@ body {
left: 0;
}
-h1, h2 {
+h1, h2, h5 {
color: #F0F0F0;
font-size: 20px;
font-family: monospace;
@@ -38,8 +38,13 @@ h1, h2 {
}
h2 {
+ margin-top: 15px;
+ font-size: 17px;
+}
+
+h5 {
margin-top: 0px;
- font-size: 18px;
+ font-size: 17px;
}
#not_working {