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 /docs/assets/css/bootstrap.css | |
parent | aef230d40ad79263cbdc2214509be4daa8ec92ea (diff) |
make pre font-size a percentage of @baseFontSize
Diffstat (limited to 'docs/assets/css/bootstrap.css')
-rw-r--r-- | docs/assets/css/bootstrap.css | 2 |
1 files changed, 1 insertions, 1 deletions
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; |