make pre font-size a percentage of @baseFontSize

67aa00d0 · Mark Otto · aef230d4 · 67aa00d0 · 67aa00d0 · 67aa00d0
Commit 67aa00d0 authored 13 years ago by Mark Otto
Hide whitespace changes
Inline Side-by-side

Showing

with 2 additions and 2 deletions
+2 -2
--- a/docs/assets/bootstrap.zip
+++ b/docs/assets/bootstrap.zip
--- 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;

--- 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