From a667fd93aba8e947f94af973518b7dce25c08765 Mon Sep 17 00:00:00 2001
From: Mark Otto <markotto@twitter.com>
Date: Sun, 19 Aug 2012 23:01:24 -0700
Subject: pre font-size increase; revert static top navbar, undo contents
 section for now

---
 docs/assets/js/google-code-prettify/prettify.css | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'docs/assets/js/google-code-prettify/prettify.css')

diff --git a/docs/assets/js/google-code-prettify/prettify.css b/docs/assets/js/google-code-prettify/prettify.css
index 1b800c90c..d437aff62 100644
--- a/docs/assets/js/google-code-prettify/prettify.css
+++ b/docs/assets/js/google-code-prettify/prettify.css
@@ -21,10 +21,10 @@
 /* Specify class=linenums on a pre to get line numbering */
 ol.linenums {
   margin: 0 0 0 33px; /* IE indents via margin-left */
-} 
+}
 ol.linenums li {
   padding-left: 12px;
   color: #bebec5;
-  line-height: 18px;
+  line-height: 20px;
   text-shadow: 0 1px 0 #fff;
 }
\ No newline at end of file
-- 
cgit v1.2.3