From 4b0e71703435ef38c4d72f843bd23bfc27d53b51 Mon Sep 17 00:00:00 2001
From: Harry Khanna <harry@khanna.cc>
Date: Wed, 13 Jun 2018 12:26:20 -0400
Subject: [PATCH] Fix code fence css bug when published on gh pages

fixes #365
---
 css/main.css | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/css/main.css b/css/main.css
index 6fb169ca74cd..33da1bd7b52e 100644
--- a/css/main.css
+++ b/css/main.css
@@ -688,6 +688,9 @@ td.gutter pre {
 .highlight > pre {
   padding: 0;
 }
+.highlight > pre.highlight {
+  padding: 9.5px;
+}
 td.code pre {
   border-width: 0 0 0 2px;
   border-style: solid;