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
89b1f51ed5
appearance: Colour latched/locked according to design
2021-03-31 09:13:51 +00:00
97da44f059
Terminal layout: another approach
2020-07-18 05:43:15 +02:00
d5682de47c
font: Use font from style context
...
As a consequence, some dependency on renderer is gone.
2020-01-28 18:13:15 +00:00
59f6173282
theme: Use a matching layout theme for any widget theme
...
Dedicated styling is now possible for themes which have a corresponding style-theme.css file. Adwaita:dark gets one, whereas other themes use the new generic fallback theme.
2019-11-27 16:30:32 +00:00
