From: Mark Otto <markotto@twitter.com>
Date: Sat, 10 Mar 2012 22:36:58 +0000 (-0800)
Subject: make pre font-size a percentage of @baseFontSize
X-Git-Tag: v2.0.2~54
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=67aa00d0bbc638bc527de1c617f5a915eb5b4fcb;p=thirdparty%2Fbootstrap.git

make pre font-size a percentage of @baseFontSize
---

diff --git a/docs/assets/bootstrap.zip b/docs/assets/bootstrap.zip
index 919209d50e..e920d64a0f 100644
Binary files a/docs/assets/bootstrap.zip and b/docs/assets/bootstrap.zip differ
diff --git a/docs/assets/css/bootstrap.css b/docs/assets/css/bootstrap.css
index 00baa1a5f9..02ab012c45 100644
--- a/docs/assets/css/bootstrap.css
+++ b/docs/assets/css/bootstrap.css
@@ -525,7 +525,7 @@ pre {
   display: block;
   padding: 8.5px;
   margin: 0 0 9px;
-  font-size: 12px;
+  font-size: 12.025px;
   line-height: 18px;
   background-color: #f5f5f5;
   border: 1px solid #ccc;
diff --git a/less/code.less b/less/code.less
index c7fd032ce9..075185989d 100644
--- a/less/code.less
+++ b/less/code.less
@@ -25,7 +25,7 @@ pre {
   display: block;
   padding: (@baseLineHeight - 1) / 2;
   margin: 0 0 @baseLineHeight / 2;
-  font-size: 12px;
+  font-size: @baseFontSize * .925; // 13px to 12px
   line-height: @baseLineHeight;
   background-color: #f5f5f5;
   border: 1px solid #ccc; // fallback for IE7-8