Jakob Borg 5f7f96bed3 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.

2015-05-29 18:02:43 +02:00

..

static

Fix *most* of monospaced font sizes

2015-05-29 18:02:43 +02:00

__init__.py

Add patched sphinx_rtd_theme

2015-05-29 16:58:12 +02:00

breadcrumbs.html

Add patched sphinx_rtd_theme

2015-05-29 16:58:12 +02:00

footer.html

Add patched sphinx_rtd_theme

2015-05-29 16:58:12 +02:00

layout_old.html

Add patched sphinx_rtd_theme

2015-05-29 16:58:12 +02:00

layout.html

Add patched sphinx_rtd_theme

2015-05-29 16:58:12 +02:00

search.html

Add patched sphinx_rtd_theme

2015-05-29 16:58:12 +02:00

searchbox.html

Add patched sphinx_rtd_theme

2015-05-29 16:58:12 +02:00

theme.conf

Add patched sphinx_rtd_theme

2015-05-29 16:58:12 +02:00

versions.html

Add patched sphinx_rtd_theme

2015-05-29 16:58:12 +02:00