web: Adjust sizes of monospace fonts.
authorAndre Noll <maan@systemlinux.org>
Sun, 18 Aug 2013 13:52:40 +0000 (15:52 +0200)
committerAndre Noll <maan@systemlinux.org>
Sun, 18 Aug 2013 17:47:54 +0000 (19:47 +0200)
commitb35afce9bed9f0fdc6c4754121845d1996f44f66
treee565faace3973a130bad7b27016e66aed8f90cf4
parent7fb28a9ac16a56a5caa0ab9e543318df205692d7
web: Adjust sizes of monospace fonts.

120% is big enough, let's use this size everywhere.
web/para.css