merge: more upstream changes

2024-02-07 21:52:27 +01:00
parent 1fa347390a 52bf808d89
commit af5ebdfced
11 changed files with 123 additions and 23 deletions
@@ -93,6 +93,7 @@ watch(() => props.lang, (to) => {
 	overflow: auto;
 	border-radius: var(--radius-sm);
 	border: 1px solid var(--divider);
+	font-family: Consolas, Monaco, Andale Mono, Ubuntu Mono, monospace;

 	color: var(--shiki-fallback);
 	background-color: var(--shiki-fallback-bg);