diff options
| author | Alberto Bertogli <albertito@blitiri.com.ar> | 2017-08-27 16:26:01 +0200 |
|---|---|---|
| committer | Alberto Bertogli <albertito@blitiri.com.ar> | 2017-08-27 16:29:20 +0200 |
| commit | 9b21bd6f191fab943ffea791285b8dfb97ec95ef (patch) | |
| tree | 7cd1ce94ae2b0909d68b59e95d83daf4f336d6cf /sample.conf | |
| parent | c96d0dbea6f233125aa2f18984db44412901a0a3 (diff) | |
| download | git-arr-fork-9b21bd6f191fab943ffea791285b8dfb97ec95ef.zip | |
style: Normal font sizes, and use monospace for listings
There's a significant amount of overrides to make the font sizes
smaller, but that can hurt readability in some cases. We should try to
use the "natural" sizes as much as possible.
This patch does that, removing a lot of the font sizes and bringing them
to be based on the normal sizes.
It also changes listings to use monospace, for readability.
Diffstat (limited to 'sample.conf')
0 files changed, 0 insertions, 0 deletions