|
|
da3762a3b0
|
Use single font size
|
2024-05-26 12:49:46 +02:00 |
|
|
|
e2ae922a85
|
Split font sizes into different "kinds"(?)
|
2022-12-16 19:44:58 +01:00 |
|
|
|
38b3285d49
|
theme: Switch to non-dark breeze
|
2022-09-05 15:19:52 +02:00 |
|
|
|
b6c78e01ff
|
gtk: Update font size calculation
|
2022-06-29 17:58:19 +02:00 |
|
|
|
a3c42992c7
|
gtk: Use font_size
|
2022-06-29 17:58:17 +02:00 |
|
