more themes + fonts

This commit is contained in:
Felix Roos 2023-02-19 22:18:12 +01:00
parent 14af1df6a3
commit 81b4cb2f16
10 changed files with 552 additions and 20 deletions

View file

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