|
|
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 |
|
|
|
edf62e7622
|
firefox: Add profile option with bigger fonts
|
2022-06-29 17:58:27 +02:00 |
|
