Tweak style

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 */

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") }}