From 5f7f96bed3721d57d2bb810219cd2a4b2b85eee0 Mon Sep 17 00:00:00 2001 From: Jakob Borg Date: Fri, 29 May 2015 18:01:47 +0200 Subject: [PATCH] Fix *most* of monospaced font sizes grep -lr 'font-size: 12px' bower_components/wyrm | xargs sed -i "" 's/font-size: 12px/font-size: 15px/' There's still a font-size: 75% in there that I haven't got to. --- _themes/sphinx_rtd_theme/static/css/theme.css | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/_themes/sphinx_rtd_theme/static/css/theme.css b/_themes/sphinx_rtd_theme/static/css/theme.css index 778e35743..7dde5909d 100644 --- a/_themes/sphinx_rtd_theme/static/css/theme.css +++ b/_themes/sphinx_rtd_theme/static/css/theme.css @@ -3328,7 +3328,7 @@ input[type="radio"][disabled], input[type="checkbox"][disabled] { position: absolute; left: 54px; display: block; - font-size: 12px; + font-size: 15px; color: #ccc; } @@ -3852,7 +3852,7 @@ div[class^='highlight'] td.code { margin: 0; padding: 13.5px 13.5px; font-family: Consolas, "Andale Mono WT", "Andale Mono", "Lucida Console", "Lucida Sans Typewriter", "DejaVu Sans Mono", "Bitstream Vera Sans Mono", "Liberation Mono", "Nimbus Mono L", Monaco, "Courier New", Courier, monospace; - font-size: 12px; + font-size: 15px; line-height: 1.5; color: #d9d9d9; } @@ -3862,7 +3862,7 @@ div[class^='highlight'] pre { margin: 0; padding: 13.5px 13.5px; font-family: Consolas, "Andale Mono WT", "Andale Mono", "Lucida Console", "Lucida Sans Typewriter", "DejaVu Sans Mono", "Bitstream Vera Sans Mono", "Liberation Mono", "Nimbus Mono L", Monaco, "Courier New", Courier, monospace; - font-size: 12px; + font-size: 15px; line-height: 1.5; display: block; overflow: auto;