From 68146db00454b46493545aff34d06cf2c11e0f6d Mon Sep 17 00:00:00 2001
From: Mark Otto <markotto@twitter.com>
Date: Thu, 5 Jul 2012 15:15:57 -0700
Subject: [PATCH] buttons and pre updates for font-size

---
 docs/assets/css/bootstrap.css | 4 ++--
 docs/assets/css/docs.css      | 3 +++
 less/buttons.less             | 2 +-
 less/variables.less           | 2 +-
 4 files changed, 7 insertions(+), 4 deletions(-)

diff --git a/docs/assets/css/bootstrap.css b/docs/assets/css/bootstrap.css
index 4ec240ba55..329618b05c 100644
--- a/docs/assets/css/bootstrap.css
+++ b/docs/assets/css/bootstrap.css
@@ -786,7 +786,7 @@ cite {
 code,
 pre {
   padding: 0 3px 2px;
-  font-family: Menlo, Monaco, Consolas, "Courier New", monospace;
+  font-family: Monaco, Menlo, Consolas, "Courier New", monospace;
   font-size: 13px;
   color: #333333;
   -webkit-border-radius: 3px;
@@ -2726,7 +2726,7 @@ button.close {
 .btn {
   display: inline-block;
   *display: inline;
-  padding: 4px 10px 4px;
+  padding: 4px 14px 4px;
   margin-bottom: 0;
   *margin-left: .3em;
   font-size: 14px;
diff --git a/docs/assets/css/docs.css b/docs/assets/css/docs.css
index 6d64028f82..bee42dc362 100644
--- a/docs/assets/css/docs.css
+++ b/docs/assets/css/docs.css
@@ -428,6 +428,9 @@ h2 + .row {
   margin-left: 0;
   list-style: none;
 }
+.the-icons li {
+  line-height: 25px;
+}
 .the-icons i:hover {
   background-color: rgba(255,0,0,.25);
 }
diff --git a/less/buttons.less b/less/buttons.less
index c46b7cf3e2..b48b0555b8 100644
--- a/less/buttons.less
+++ b/less/buttons.less
@@ -10,7 +10,7 @@
 .btn {
   display: inline-block;
   .ie7-inline-block();
-  padding: 4px 10px 4px;
+  padding: 4px 14px 4px;
   margin-bottom: 0; // For input.btn
   font-size: @baseFontSize;
   line-height: @baseLineHeight;
diff --git a/less/variables.less b/less/variables.less
index 9a3e0ed4e3..bc8ff4bed9 100644
--- a/less/variables.less
+++ b/less/variables.less
@@ -46,7 +46,7 @@
 // -------------------------
 @sansFontFamily:        "Helvetica Neue", Helvetica, Arial, sans-serif;
 @serifFontFamily:       Georgia, "Times New Roman", Times, serif;
-@monoFontFamily:        Menlo, Monaco, Consolas, "Courier New", monospace;
+@monoFontFamily:        Monaco, Menlo, Consolas, "Courier New", monospace;
 
 @baseFontSize:          14px;
 @baseFontFamily:        @sansFontFamily;