From d9586191cb9f5e06af4aa06e6ba51cab23986c33 Mon Sep 17 00:00:00 2001
From: Benjamin Attal <attal.benjamin@gmail.com>
Date: Tue, 3 Jun 2014 23:27:03 -0400
Subject: [PATCH] Tweak style

---
 static/css/lib/github.css | 6 +++---
 templates/index.html      | 2 +-
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/static/css/lib/github.css b/static/css/lib/github.css
index 106c808..723432c 100644
--- a/static/css/lib/github.css
+++ b/static/css/lib/github.css
@@ -1,7 +1,7 @@
-td.linenos { background: rgba(65,131,196,0.1); padding-right: 10px; }
-span.lineno { background: rgba(65,131,196,0.4); padding: 0 5px 0 5px; }
+td.linenos { background: rgba(65,131,196,0.05); padding-right: 10px; border-right: 1px solid #bbb; }
+span.lineno { background: rgba(65,131,196,0.05); padding: 0 5px 0 5px; }
 pre { line-height: 125% }
-.highlighttable { background-color: #fff; width: inherit; height: inherit; }
+.highlighttable { background-color: #fff; padding-left: 10px; width: inherit; height: inherit; }
 .hll { display: block }
 .c { color: #999988; font-style: italic } /* Comment */
 .err { color: #a61717; background-color: #e3d2d2 } /* Error */
diff --git a/templates/index.html b/templates/index.html
index 0457103..937041f 100644
--- a/templates/index.html
+++ b/templates/index.html
@@ -8,7 +8,7 @@
   {{ assets.tag("lib/jqueryui.custom.min.css") }}
   {{ assets.tag("lib/jquery.min.js") }}
   {{ assets.tag("lib/jquery-ui.min.js") }}
-  {{ assets.tag("lib/highlight.css") }}
+  {{ assets.tag("lib/github.css") }}
 
   {{ assets.tag("index.css") }}