From 3b4575f6845cfdb14d9ec579abde579b83b7a9da Mon Sep 17 00:00:00 2001
From: Michael Wallner <mike@php.net>
Date: Mon, 2 Mar 2015 13:35:20 +0100
Subject: [PATCH] better line-spacing

---
 public/index.css | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/public/index.css b/public/index.css
index b4175ed..e305c7a 100644
--- a/public/index.css
+++ b/public/index.css
@@ -6,6 +6,7 @@ body, code {
 	font-family: Inconsolata, Monospace, 'Courier New', Courier, monospace;
 }
 body {
+	line-height: 140%;
 	font-size: 1.1em;
 	margin: 0;
 	padding: 0;
@@ -73,6 +74,7 @@ pre>code {
 	display: inline-block;
 	padding: 1em;
 	min-width: 50%;
+	line-height: 110%;
 }
 pre>code, pre>code code {
 	background: #333;
@@ -95,6 +97,7 @@ blockquote {
 }
 
 ul {
+	margin-top: 1em;
 	margin-bottom: 2em;
 }
 li {
-- 
2.30.2