diff options
author | Guillaume Mazoyer <gmazoyer@gravitons.in> | 2018-01-28 00:15:07 +0100 |
---|---|---|
committer | Guillaume Mazoyer <gmazoyer@gravitons.in> | 2018-01-28 00:15:07 +0100 |
commit | 6068ec86683de76987129cea41b010fef5426611 (patch) | |
tree | e6f1493c0ecf97c4d21ad7f1089a0d8f45a6ab51 | |
parent | 762915a7d42f4e05db6db2118fbf86841784909d (diff) |
First styles tweaks.
Mostly font size and padding in result element.
-rw-r--r-- | css/style.css | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/css/style.css b/css/style.css index d0f1b92..5a7285e 100644 --- a/css/style.css +++ b/css/style.css @@ -13,7 +13,6 @@ body { } .footer_bar { color: #000000; - font-size: 1.2em; text-align: center; width: 50%; margin-top: 1em; @@ -49,7 +48,6 @@ body { margin-right: auto; } #error { - font-size: 1.3em; width: 50%; margin-left: auto; margin-right: auto; @@ -58,7 +56,6 @@ body { font-size: 1.3em; } kbd { - font-size: 1.3em; display: block; width: 70%; margin-left: auto; @@ -71,6 +68,8 @@ pre { width: 70%; margin-left: auto; margin-right: auto; + padding-left: 1%; + padding-right: 1%; } a { color: #000000; |