diff options
author | Mark Otto <markotto@twitter.com> | 2012-03-11 02:36:58 +0400 |
---|---|---|
committer | Mark Otto <markotto@twitter.com> | 2012-03-11 02:36:58 +0400 |
commit | 67aa00d0bbc638bc527de1c617f5a915eb5b4fcb (patch) | |
tree | 933eb2206caf57caaa2dd7a518e44f000524ce0c /less | |
parent | aef230d40ad79263cbdc2214509be4daa8ec92ea (diff) |
make pre font-size a percentage of @baseFontSize
Diffstat (limited to 'less')
-rw-r--r-- | less/code.less | 2 |
1 files changed, 1 insertions, 1 deletions
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 |