better line-spacing
authorMichael Wallner <mike@php.net>
Mon, 2 Mar 2015 12:35:20 +0000 (13:35 +0100)
committerMichael Wallner <mike@php.net>
Mon, 2 Mar 2015 12:35:20 +0000 (13:35 +0100)
public/index.css

index b4175ed9b6abd5a69c20fe26cd44ea5799ff9881..e305c7a07927f7643cb6ca12ac9d404169672363 100644 (file)
@@ -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 {