JupyterLab embed nerd font

JupyterLab
,
1

How would one embed one of the Nerd fonts from https://www.nerdfonts.com, to be used by the terminal? I can already set this custom font via the overrides.json:

    "@jupyterlab/terminal-extension:plugin": {
        "fontFamily": "Inconsolata Nerd Font Mono",
        "lineHeight": 1.2,
        "scrollback": 10000
    },

However, this does not work unless the user installs the font on their machine. I’d like to avoid this, as plan to use it via binder and I want to render correctly even if the user hasn’t installed it yet.

One can add a hosted font via the CSS entry:

@font-face {
    font-family: 'Inconsolata Nerd Font Mono';
    src: url('InconsolataNerdFontMono-Regular.woff') format('woff'),
    url('InconsolataNerdFontMono-Regular.ttf') format('truetype');
  }

But then that would need to be available for download under the root URL. I gathered until now that could extend the theme CSS /home/jovyan/.local/share/uv/tools/jupyter-core/share/jupyter/lab/themes/@jupyterlab/theme-dark-extension/index.css to add the CSS part, but that wouldn’t solve the hosting the font under the root URI. Thanks,

2

What if you try the full url of the font hosted somewhere? doesn’t it work? it should.