Allan Day 34e9513e1f adjust UI to new text styles
With the new text styles, some UI needs to adjusted, primarily to
accommodate larger heading text.
2019-06-27 13:52:40 +01:00
..
2019-05-24 16:27:25 -05:00
2019-06-27 13:52:40 +01:00