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.
This commit is contained in:
Jakob Borg
2015-05-29 18:02:43 +02:00
parent 31a396bc86
commit 5f7f96bed3
@@ -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;