From 5f0ecb740a71814c4b17bc2252a451548f329342 Mon Sep 17 00:00:00 2001
From: Mark Otto <otto@github.com>
Date: Thu, 14 Feb 2013 00:23:23 -0800
Subject: Start pygmentizing css.html; add new theme for pygments

---
 docs/assets/css/docs.css | 21 +++++++++++++++++----
 1 file changed, 17 insertions(+), 4 deletions(-)

(limited to 'docs/assets/css/docs.css')

diff --git a/docs/assets/css/docs.css b/docs/assets/css/docs.css
index c45eb01b9..ac04b339c 100644
--- a/docs/assets/css/docs.css
+++ b/docs/assets/css/docs.css
@@ -214,7 +214,8 @@ section > ul li {
 }
 
 /* Tweak display of the examples */
-.bs-docs-example + .prettyprint {
+.bs-docs-example + .prettyprint,
+.bs-docs-example + .highlight {
   margin-top: 0;
   border-top-left-radius: 0;
   border-top-right-radius: 0;
@@ -486,9 +487,12 @@ input.focused {
 }
 
 .highlight {
+  padding: 9px 14px;
   margin-bottom: 14px;
-  padding: 14px;
-  border-radius: 5px;
+  background-color: #f7f7f9;
+  border: 1px solid #e1e1e8;
+  border-radius: 4px;
+  box-shadow: inset 40px 0 0 #fbfbfc, inset 41px 0 0 #ececf0;
 }
 .highlight pre {
   padding: 0;
@@ -497,7 +501,16 @@ input.focused {
   border: 0;
 }
 .highlight pre code {
-  color: #ccc;
+  font-size: inherit;
+  color: #333; /* Effectively the base text color */
+}
+.highlight pre .lineno {
+  display: inline-block;
+  width: 18px;
+  padding-right: 5px;
+  margin-right: 10px;
+  text-align: right;
+  color: #bebec5;
 }
 
 
-- 
cgit v1.2.3