From: Andre Noll <maan@systemlinux.org>
Date: Sun, 18 Aug 2013 13:52:40 +0000 (+0200)
Subject: web: Adjust sizes of monospace fonts.
X-Git-Tag: v0.5.0~1^2~5
X-Git-Url: http://git.tuebingen.mpg.de/?p=paraslash.git;a=commitdiff_plain;h=b35afce9bed9f0fdc6c4754121845d1996f44f66;hp=b35afce9bed9f0fdc6c4754121845d1996f44f66

web: Adjust sizes of monospace fonts.

120% is big enough, let's use this size everywhere.
---