From 58209a2c6ec671f60295cf45cf666924704d85f2 Mon Sep 17 00:00:00 2001
From: Mats Rauhala <mats.rauhala@iki.fi>
Date: Wed, 27 Mar 2019 22:23:43 +0200
Subject: [PATCH] Better css

---
 css/default.css   |  2 +-
 css/highlight.css | 16 ++++++++++++++--
 2 files changed, 15 insertions(+), 3 deletions(-)

diff --git a/css/default.css b/css/default.css
index 381ff73..fe08ca3 100644
--- a/css/default.css
+++ b/css/default.css
@@ -111,7 +111,7 @@ article .header {
 
 @media (min-width: 640px) {
   body {
-    width: 60rem;
+    width: 85rem;
     margin: 0 auto;
     padding: 0;
   }
diff --git a/css/highlight.css b/css/highlight.css
index 57b31eb..f92bd76 100644
--- a/css/highlight.css
+++ b/css/highlight.css
@@ -1,6 +1,18 @@
 /* Generated by pandoc. */
-table.sourceCode, tr.sourceCode, td.lineNumbers, td.sourceCode, table.sourceCode pre
-   { margin: 0; padding: 0; border: 0; vertical-align: baseline; border: none; }
+table.sourceCode, tr.sourceCode, td.lineNumbers, td.sourceCode, table.sourceCode pre.sourceCode
+{
+  margin: 0;
+  padding: 0;
+  /* border: 0; */
+  vertical-align: baseline;
+}
+pre.sourceCode
+{
+  border: 1px solid #ccc;
+  background-color: rgb(238,238,255);
+  padding: 10px;
+  overflow: auto;
+}
 td.lineNumbers { border-right: 1px solid #AAAAAA; text-align: right; color: #AAAAAA; padding-right: 5px; padding-left: 5px; }
 td.sourceCode { padding-left: 5px; }
 .sourceCode span.kw { color: #007020; font-weight: bold; }