fonts: with fonts; { "workbench.colorTheme" = "Stylix"; "editor.fontFamily" = monospace.name; "editor.inlayHints.fontFamily" = monospace.name; "editor.inlineSuggest.fontFamily" = monospace.name; "scm.inputFontFamily" = monospace.name; "debug.console.fontFamily" = monospace.name; "markdown.preview.fontFamily" = sansSerif.name; "chat.editor.fontFamily" = monospace.name; # 4/3 factor used for pt to px; "editor.fontSize" = sizes.terminal * 4.0 / 3.0; "debug.console.fontSize" = sizes.terminal * 4.0 / 3.0; "markdown.preview.fontSize" = sizes.terminal * 4.0 / 3.0; "terminal.integrated.fontSize" = sizes.terminal * 4.0 / 3.0; "chat.editor.fontSize" = sizes.terminal * 4.0 / 3.0; # other factors (9/14, 13/14, 56/14) based on default for given value # divided by default for `editor.fontSize` (14) from # https://code.visualstudio.com/docs/getstarted/settings#_default-settings. "editor.minimap.sectionHeaderFontSize" = sizes.terminal * 4.0 / 3.0 * 9.0 / 14.0; "scm.inputFontSize" = sizes.terminal * 4.0 / 3.0 * 13.0 / 14.0; "screencastMode.fontSize" = sizes.terminal * 4.0 / 3.0 * 56.0 / 14.0; }