From 00f04b2a498213a0e1ca2723e89b113797fb673b Mon Sep 17 00:00:00 2001
From: Bram van der Veen <96aa48@gmail.com>
Date: Mon, 10 Aug 2015 15:35:00 +0200
Subject: [PATCH] Heb een probleem met de manier waarop code werd laten zien
 gerepareerd.

---
 resources/jade/article.jade  |  2 +-
 resources/less/skeleton.less | 30 +++++++++++++++---------------
 resources/less/style.less    |  1 +
 3 files changed, 17 insertions(+), 16 deletions(-)

diff --git a/resources/jade/article.jade b/resources/jade/article.jade
index c986ed5..0c2dbcd 100644
--- a/resources/jade/article.jade
+++ b/resources/jade/article.jade
@@ -21,5 +21,5 @@ html
                 a(href="/" + article)=article.substr(0,1).toUpperCase() + article.replace(/.md/, '').slice(1)
         .content.seven
           div!=markdown
-          
+
     script(type="text/javascript", src="/other/prism.js")
diff --git a/resources/less/skeleton.less b/resources/less/skeleton.less
index 8d994bd..164f27e 100644
--- a/resources/less/skeleton.less
+++ b/resources/less/skeleton.less
@@ -492,22 +492,22 @@ li {
 
 /* Code
 –––––––––––––––––––––––––––––––––––––––––––––––––– */
+// 
+// code {
+//   padding: .2rem .5rem;
+//   margin: 0 .2rem;
+//   font-size: 90%;
+//   white-space: nowrap;
+//   background: lighten(@light-grey, 6.4%);
+//   border: 1px solid @light-grey;
+//   border-radius: @global-radius;
+// }
 
-code {
-  padding: .2rem .5rem;
-  margin: 0 .2rem;
-  font-size: 90%;
-  white-space: nowrap;
-  background: lighten(@light-grey, 6.4%);
-  border: 1px solid @light-grey;
-  border-radius: @global-radius;
-}
-
-pre > code {
-  display: block;
-  padding: 1rem 1.5rem;
-  white-space: pre;
-}
+// pre > code {
+//   display: block;
+//   padding: 1rem 1.5rem;
+//   white-space: pre;
+// }
 
 /* Tables
 –––––––––––––––––––––––––––––––––––––––––––––––––– */
diff --git a/resources/less/style.less b/resources/less/style.less
index 355747d..ea5700b 100644
--- a/resources/less/style.less
+++ b/resources/less/style.less
@@ -76,6 +76,7 @@ div.content {
   }
 
   pre {
+    font-size: 13px;
   }
 }