local.css: ditto

1 files changed, 2 insertions, 0 deletions

diff --git a/local.css b/local.css
index 542a0191..33bd44c6 100644
--- a/local.css
+++ b/local.css
@@ -13,9 +13,11 @@ video { max-width: 100% }
 
 .muted { color: #666 }
 
+pre { padding: 1em }
 pre, code {
   background-color: #f2f2f2;
   border: 1px solid #e6e6e6;
   border-radius: 4px;
 }
 code { padding: .2em .3em }
+pre > code { border: none; padding: 0 }