/* Shared interface typography. Blockly themes use the same family for measurements. */
:root { --platform-font-family:'Segoe UI',system-ui,sans-serif; }
body, button, input, select, textarea,
.tooltip, .popover, .ui-widget, .ui-widget input, .ui-widget select,
.ui-widget textarea, .ui-widget button, .select2-container, .ql-toolbar, .ql-container {
    font-family:var(--platform-font-family);
}
/* Blockly inserts its own CSS after the page styles, including menus in body. */
.blocklySvg .blocklyText, .blocklyFlyoutLabelText, .blocklyHtmlInput,
.blocklyTreeLabel, .blocklyToolboxCategoryLabel, .blocklyToolboxDiv,
.blocklyDropDownDiv, .blocklyDropdownMenu, .blocklyMenu,
.blocklyMenuItem, .blocklyMenuItemContent, .goog-menu, .goog-menuitem {
    font-family:var(--platform-font-family)!important;
}
/* Editable source code keeps its monospaced text and matching cursor metrics. */
.ace_editor, .ace_editor textarea, .CodeMirror, .cm-editor {
    font-family:Consolas,'Courier New',monospace;
}