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;
  "chat.fontFamily" = sansSerif.name;
  "notebook.markup.fontFamily" = sansSerif.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;
}
