[org.gnome.desktop.interface] enable-hot-corners=false icon-theme='kora-pgrey' document-font-name='Roboto 11' monospace-font-name='Source Code Pro 14' font-antialiasing='rgba' font-hinting='full' font-name='Roboto 11' font-rgba-order='rgb' scaling-factor=1