The workspace terminal is rendered in the browser with xterm.js and uses a fixed font stack hardcoded in the UI:

Consolas, 'Liberation Mono', 'Menlo, Courier', monospace

Answers to your questions:

1. Installing a Nerd Font on your machine is not enough. The terminal only requests the fonts above (ending with the browser’s default monospace). It does not look for a Nerd Font by name, so NeoVim plugins that rely on Nerd Font glyphs will not display those icons correctly in the workspace terminal.

2. The font is fixed. There is currently no preference or setting to choose a different terminal font.

3. There is no supported way today to switch the workspace terminal to a Nerd Font. Changing that would require a product change (for example, a configurable font setting, or shipping/using a Nerd Font in the web UI).

Please let us know if this answers your question, or if you’d like this tracked as a feature request.

We really need to support nerd fonts. At least the most popular ones.

Create a plan to do the following.

/* 1. Define a generic family alias checking for popular Nerd Fonts locally */
@font-face {
  font-family: 'LocalNerdFont';
  src: local('JetBrainsMono Nerd Font'),
       local('JetBrainsMono NF'),
       local('FiraCode Nerd Font'),
       local('FiraCode NF'),
       local('Hack Nerd Font'),
       local('Hack NF'),
       local('MesloLGS Nerd Font'),
       local('MesloLGS NF'),
       local('CaskaydiaCove Nerd Font'),
       local('Symbols Nerd Font'); /* Fallback for purely icon glyphs */
}

/* 2. Apply it to the elements... Note that I am only giving example elements. You should actually use what's already being used. */ 
code, .xyz {
  font-family: 'LocalNerdFont', Consolas, 'Liberation Mono', 'Menlo', 'Courier', monospace; 
}

When the plan is created then create an issue and also include the motivation.

Also ensure that the relevant documentation is updated so that users know what nerd fonts are supported.

By the way the previous comment includes the existing Menlo and Courier as enclosed in single quotes. I wonder if that's deliberate or a bug? It seems like a bug. I have corrected it in my example.

Key Benefits of Nerd Fonts

• Rich Visual Prompts: Support advanced prompt engines like Starship or Powerlevel10k to show live Git statuses, execution times, and custom indicators.
• No Broken Icons: Fix missing character boxes or question marks in modern CLI tools, file managers, and text editors.
• All-in-One Aggregation: Combine multiple distinct symbol and icon packs (like Devicons, Octicons, and Weather icons) into one cohesive font file.
• Maintained Spacing: Provide dedicated "Mono" variants that preserve strict character alignment so columns and layouts never break in the terminal.

The above is really critical for people who use NeoVim.

@zaakiy Created the follow-up implementation issue and closing this Question.

Yes — 'Menlo, Courier' in the previous reply (and in the live terminal.js font stack) is a bug: Menlo and Courier were quoted as a single family name, so they never applied as separate fallbacks. That fix is included in the implementation plan.

Tracked for implementation as issue #2981.