From 45d671d97f4d448780729bbb6357e9ec776f980c Mon Sep 17 00:00:00 2001
From: Mark Otto <markdotto@gmail.com>
Date: Sat, 7 Jan 2012 01:22:52 -0800
Subject: tweak spacing once more on prettify; add support for uneditable
 inputs to input-append and prepend

---
 docs/assets/js/google-code-prettify/prettify.css | 2 +-
 docs/base-css.html                               | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

(limited to 'docs')

diff --git a/docs/assets/js/google-code-prettify/prettify.css b/docs/assets/js/google-code-prettify/prettify.css
index c2031b594..f195124a9 100644
--- a/docs/assets/js/google-code-prettify/prettify.css
+++ b/docs/assets/js/google-code-prettify/prettify.css
@@ -31,7 +31,7 @@ ol.linenums {
   margin: 0 0 0 33px; /* IE indents via margin-left */
 } 
 ol.linenums li {
-  padding-left: 7px;
+  padding-left: 12px;
   color: #bebec5;
   line-height: 18px;
   text-shadow: 0 1px 0 #fff;
diff --git a/docs/base-css.html b/docs/base-css.html
index 5ae1790f7..910ea10bb 100644
--- a/docs/base-css.html
+++ b/docs/base-css.html
@@ -1039,7 +1039,7 @@
           <div class="controls">
             <div class="input-prepend">
               <span class="add-on">@</span>
-              <input class="input-small" id="prependedInput" name="prependedInput" size="16" type="text">
+              <input class="span2" id="prependedInput" name="prependedInput" size="16" type="text">
             </div>
             <p class="help-block">Here's some help text</p>
           </div>
@@ -1048,7 +1048,7 @@
           <label class="control-label" for="appendedInput">Appended text</label>
           <div class="controls">
             <div class="input-append">
-              <input class="input-small" id="appendedInput" name="appendedInput" size="16" type="text">
+              <input class="span2" id="appendedInput" name="appendedInput" size="16" type="text">
               <span class="add-on">.00</span>
             </div>
             <p class="help-block">Here's more help text</p>
-- 
cgit v1.2.3