4 Commits

Author SHA1 Message Date
8864a5b0a7 style: Give gr+polytonic a custom font 2022-09-03 08:11:08 +00:00
c30e951907 style: Use layout name as css class 2022-09-03 08:04:40 +00:00
8ec79428a9 data: Update stylesheet with upstream design
- adjust main font size
- adjust margins and border radii
- drop borders from keys
- put more items in common.css
- update dark and light style definitions
- use mixing of fg color wherever possible
2022-01-28 12:26:23 -03:30
9d97fa4d29 pin: Use less margin
Introduce a common.css so styles don't deviate unintentionally between
the different themes. Way more stuff can be moved here once this is in.
2021-12-05 17:34:40 +01:00