eb5c96984 ^
1 2 3 4 5 6
[desktop/interface] document-font-name='Source Sans 3 10' font-name='Source Sans 3 10' gtk-theme='Menta' icon-theme='Papirus' monospace-font-name='Source Code Pro 10'