|
7bea0ec7bd
|
foot: actually remove most of color/theme options
|
2024-01-20 19:03:44 +02:00 |
|
|
91ad95fb99
|
foot.ini: new theme attempt#1, but will be edited
|
2024-01-20 18:59:59 +02:00 |
|
|
e5fc8b503e
|
conf/foot: cut font to font.ini for easier per-device adjustment
|
2022-06-04 22:26:02 +03:00 |
|
|
d98d06584a
|
conf/foot: shrink font from 8 to 7
|
2022-06-04 22:15:11 +03:00 |
|
|
1ee266b983
|
conf/foot: shrink font from 10 to 8
|
2022-06-04 22:12:33 +03:00 |
|
|
f9af3a0937
|
foot: also change font
|
2022-05-27 16:06:54 +03:00 |
|
|
817a2923d3
|
conf/foot: initial commit
|
2022-04-15 11:40:30 +03:00 |
|