html: update default font family

This commit is contained in:
Shuanglei Tao
2022-08-08 15:41:13 +08:00
parent 8ee1c6fabd
commit 0b6eaa80b0
2 changed files with 8859 additions and 8858 deletions

View File

@@ -20,7 +20,7 @@ const clientOptions = {
} as ClientOptions;
const termOptions = {
fontSize: 13,
fontFamily: 'Menlo For Powerline,Consolas,Liberation Mono,Menlo,Courier,monospace',
fontFamily: 'Consolas,Liberation Mono,Menlo,Courier,monospace',
theme: {
foreground: '#d2d2d2',
background: '#2b2b2b',

17715
src/html.h generated

File diff suppressed because it is too large Load Diff