docs: use Inter for docs site headings, drop Josefin Sans [ENG-1800] (hotfix to main) - #12489
Merged
Merged
Conversation
Hotfix to main, per Jorge's call to release the docs and repointing work ahead of Sunday's cut. Same change as PR #12488, re-applied on main rather than retargeted: #12488 branches off staging, which is 9 commits ahead of main, so pointing it at main would have carried other people's unreleased work with it. This one has to be on main regardless of the hotfix. The Cowork docs publish from main — deploy_docs.yml triggers on push to main under docs/** — so #12488 sitting on staging would never have reached the live site at all. The four pages used Josefin Sans for every heading while their body text was already Inter, so headings and body disagreed and the pages sat off the Minds design system. --font-display now points at Inter, Josefin Sans leaves the Google Fonts request so each page loads one font file fewer, and the hero tracking tightens from -0.01em to -0.022em because Inter needs it at 46-58px where Josefin Sans did not. Applied per file rather than copied from the staging branch, because setup.html and use-cases.html differ between main and staging and copying would have dragged those differences across. Each file has two -0.01em declarations and only the hero h1 changes; the h2 rule keeps its own. Asserted per file: exactly one -0.022em, exactly one -0.01em surviving, no Josefin reference left. JetBrains Mono is unchanged. Colours, layout and spacing untouched. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
lucas-koontz
approved these changes
Aug 21, 2026
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Linear: ENG-1800. Hotfix to
main, per Jorge's call to release the docs and repointing work ahead of Sunday's cut. Lucas is handling deployment.This one had to be on
mainregardless of the hotfixThe Cowork docs publish from
main—deploy_docs.ymltriggers onpushtomainunderdocs/**. So #12488, which targetsstaging, would never have reached the live site. Its own description flagged this; the hotfix just brings it forward.Re-applied, not cherry-picked
setup.htmlanduse-cases.htmldiffer betweenmainandstaging, so copying the branch's file contents ontomainwould have dragged unrelated staging changes into those two files. The same three edits were applied tomain's copies instead.Care was needed on one of them: each file has two
-0.01emdeclarations and only the heroh1should change — theh2rule keeps its own tracking. I did this by line number after reading the surrounding rule in every file, and asserted per file that exactly one-0.022emexists, exactly one-0.01emsurvives, and noJosefinreference is left.The change
The four pages used Josefin Sans for every heading while their body text was already Inter, so headings and body disagreed and the pages sat off the Minds design system.
--font-displaynow points at Inter indocs/{index,api,setup,use-cases}.html.-0.01emto-0.022em. Inter needs it at 46–58px where Josefin Sans did not.JetBrains Mono is unchanged. Colours, layout and spacing untouched.
No cutover dependency
Pure typography on pages that are already live at their current address. Nothing here references
docs.mindshub.ai, so it is independent of ENG-1807 and can ship in any order.Out of scope
Swapping JetBrains Mono for Roboto Mono, the design system's mono face. Bigger visual change, since mono carries the eyebrows, badges, brand mark and code blocks.
Note for the reviewer
#12488stays open againststagingso the change is not lost from the Sunday cut.