Change font for docs currently in github pages?

[jessebot]

powerline fonts broken in some places in docs.

Goal: have nerdfonts in docs so we can have pretty icons.

Feature-bug. it's a maybe easy thing to do 🤷

[jessebot]

this is elusive and although the justthedocs docs say:

For styles that aren’t defined as variables, you may want to modify specific CSS classes. Additionally, you may want to add completely custom CSS specific to your content. To do this, put your styles in the file _sass/custom/custom.scss. This will allow for all overrides to be kept in a single file, and for any upstream changes to still be applied.

This still isn't working. The file below is in ./onboardme/docs/_sass/custom/custom.scss:

@font-face {
  font-family: "mononoki";
  src: url("../../fonts/mononoki-Regular-Nerd-Font-Complete.ttf");
}

$mono-font-family: mononoki, consolas, monospace;

And the font is in: /onboardme/docs/fonts/mononoki-Regular-Nerd-Font-Complete.ttf. Unsure why this is not working though 🤔

[jessebot]

I found this stackoverflow page:
https://stackoverflow.com/questions/35718750/adding-custom-fonts-to-github-pages

and so I am trying to do this instead: 4438db6 :

  @font-face {
    font-family: "mononoki";
    src: url("../../onboardme/docs/fonts/mononoki-Regular-Nerd-Font-Complete.ttf") format('truetype');
  }

🤷

[jessebot]

github put out another blog post about this, so maybe it's easier now:
https://github.blog/2022-12-02-introducing-mona-sans-and-hubot-sans/