Skip to content

Conversation

@tgodzik
Copy link
Contributor

@tgodzik tgodzik commented Nov 26, 2025

Tried to make it as close as possible, but we don't have italic for Inconsolata

Tried to make it as close as possible, but we don't have italic for Inconsolata
@SethTisue
Copy link
Member

good to have this oversight corrected

@SethTisue
Copy link
Member

will docs.scala-lang need a corresponding PR?

@tgodzik
Copy link
Contributor Author

tgodzik commented Nov 26, 2025

will docs.scala-lang need a corresponding PR?

Looks like it. I will take a look.

@SethTisue SethTisue merged commit 78860d2 into scala:main Nov 26, 2025
1 check passed
@tgodzik
Copy link
Contributor Author

tgodzik commented Nov 26, 2025

@tgodzik tgodzik deleted the switch-inconsolata branch November 26, 2025 16:34
@SethTisue
Copy link
Member

fwiw, I did not have Inconsolata on my system (MacOS, Safari), so with this merged, it's falling back to what looks like Courier

we could decide that's acceptable, or we could add a fallback to e.g. Monaco 🤷

@SethTisue
Copy link
Member

here's the before and after in my browser

Screenshot 2025-11-26 at 8 33 02 AM Screenshot 2025-11-26 at 8 39 09 AM

@tgodzik
Copy link
Contributor Author

tgodzik commented Nov 26, 2025

That's not exapected. It should be loaded by:
src: url('{{ site.baseurl }}/resources/glyphs/Inconsolata_SemiExpanded-SemiBold.ttf') format('truetype');

@tgodzik
Copy link
Contributor Author

tgodzik commented Nov 26, 2025

Somehow, https://scala-lang.org/resources/css/monospace.css is the old file

@SethTisue
Copy link
Member

syncing problem we might need Fabien for?

@tgodzik
Copy link
Contributor Author

tgodzik commented Nov 26, 2025

I asked, but might be too late for him to be available.

@lrytz
Copy link
Member

lrytz commented Nov 27, 2025

It works for me

image

Googling a bit, the default / recommended font format for the web seems to be woff2 these days, but google fonts only delivers ttf. Googling a bit more, I found this: https://gwfh.mranftl.com/fonts/inconsolata?subsets=latin. 🤷‍♂️

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants