From 6068ec86683de76987129cea41b010fef5426611 Mon Sep 17 00:00:00 2001
From: Guillaume Mazoyer <gmazoyer@gravitons.in>
Date: Sun, 28 Jan 2018 00:15:07 +0100
Subject: First styles tweaks.

Mostly font size and padding in result element.
---
 css/style.css | 5 ++---
 1 file 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;
-- 
cgit v1.2.3