coral-web: use hosted fonts #152
Merged
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.
Description:
Re-adds Cohere fonts 🎉
AI Description
This pull request updates the font styles and families in the
src/interfaces/coral_web
directory.Summary
The changes in this PR involve updating font definitions and usage in the
fonts.css
andcohereTheme.js
files. Specifically, it introduces new@font-face
rules and updates font family declarations.Changes
@font-face
rules infonts.css
to define the sources for the 'CohereText', 'CohereMono', 'CohereVariable', 'CohereIconDefault', and 'CohereIconOutline' fonts. These rules specify the font sources, weights, styles, and display settings.cohereTheme.js
, the font family declarations have been updated. The 'body' font family now includes 'CohereText', the 'variable' font family uses 'CohereVariable', and the 'code' font family includes 'CohereMono'.