customizable font family

This commit is contained in:
Felix Roos 2023-02-22 20:28:22 +01:00
parent 8f6c1531fa
commit ff99dbcd22
11 changed files with 25 additions and 15 deletions

View file

@ -12,7 +12,6 @@ export const settings = {
gutterBackground: 'transparent',
// gutterForeground: '#8a919966',
gutterForeground: '#8a919966',
fontFamily: 'BigBlueTerminal, monospace',
};
export default createTheme({