refactor(editor): Change UI and monospace fonts (#13839)

This commit is contained in:
Tuukka Kantola
2025-03-17 21:13:57 +01:00
committed by GitHub
parent bda068880e
commit eb91111ddf
83 changed files with 153 additions and 146 deletions

View File

@@ -12,7 +12,7 @@ import { tags } from '@lezer/highlight';
const BASE_STYLING = {
fontSize: '0.8em',
fontFamily: "Menlo, Consolas, 'DejaVu Sans Mono', monospace !important",
fontFamily: 'var(--font-family-monospace)',
maxHeight: '400px',
tooltip: {
maxWidth: '250px',