From 67aa00d0bbc638bc527de1c617f5a915eb5b4fcb Mon Sep 17 00:00:00 2001
From: Mark Otto <markotto@twitter.com>
Date: Sat, 10 Mar 2012 14:36:58 -0800
Subject: make pre font-size a percentage of @baseFontSize

---
 less/code.less | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'less/code.less')

diff --git a/less/code.less b/less/code.less
index c7fd032ce..075185989 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
-- 
cgit v1.2.3