diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2020-02-24 06:25:52 -0800 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2020-02-25 10:17:57 -0800 |
| commit | 1eb8f7cbaa0b71732baf1a6e560c8ed51e4ad09a (patch) | |
| tree | 4dd6a4b2335f31fe6b74152ce36a7a303f3b69ac /.gitattributes | |
| parent | 140d552e6da0d275eacffa0e2719a8e0a9801b92 (diff) | |
| download | subsurface-1eb8f7cbaa0b71732baf1a6e560c8ed51e4ad09a.tar.gz | |
mobile/profile: make the fonts 25% smaller
This will seem too small to many - it's pushing it, but it leads to a
significantly less cluttered profile, and we now have the zoom capability for
readability.
I think this is a nice improvement.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions