From 8eb06c06fdf043dc9fed976a9a84be8498e87116 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gre=CC=81goire=20Daussin?= <gregoire.daussin@gmail.com>
Date: Thu, 17 Oct 2013 13:04:33 +0200
Subject: [PATCH] corrections

---
 css/styles.css | 11 ++++++++---
 1 file changed, 8 insertions(+), 3 deletions(-)

diff --git a/css/styles.css b/css/styles.css
index fa1e9cf..4e96c51 100644
--- a/css/styles.css
+++ b/css/styles.css
@@ -21,7 +21,7 @@
 }
 
 h4 {
-    margin-top: 14px;
+    margin-top: 34px;
 }
 
 pre {
@@ -29,16 +29,21 @@ pre {
     border-bottom-left-radius: 0;
     border-bottom-right-radius: 0;
     margin: 0;
-    height: 225px;
+    height: 125px;
     overflow: auto;
 }
 
+hr {
+    border-color: black;
+    margin-top: 40px;
+}
+
 .toolbar-bottom {
     margin-top: -1px;
 }
 .toolbar-bottom .input-append {
     display: block;
-    padding-right: 80px;
+    padding-right: 79px;
 }
 .toolbar-bottom .input-block-level {
     box-sizing: border-box;