Add fonts

[gtsiolis]

Description

🚧 WIP—Playground for adding and serving fonts locally, instead on relying on the system font stack, see relevant diff below:

This is adding Inter 3.19.

gitpod/components/dashboard/tailwind.config.js

Lines 57 to 84 in 44ecb14

	fontFamily: {
	sans: [
	"Inter",
	"system-ui",
	"-apple-system",
	"BlinkMacSystemFont",
	"Segoe UI",
	"Roboto",
	"Helvetica Neue",
	"Arial",
	"Noto Sans",
	"sans-serif",
	"Apple Color Emoji",
	"Segoe UI Emoji",
	"Segoe UI Symbol",
	"Noto Color Emoji",
	],
	mono: [
	"JetBrains Mono",
	"SF Mono",
	"Monaco",
	"Inconsolata",
	"Fira Mono",
	"Droid Sans Mono",
	"Source Code Pro",
	"monospace",
	],
	},

Following up from #15936 and #15443.

Related Issue(s)

Fixes #

How to test

Release Notes

Add fonts locally

Documentation

Build Options:

• /werft with-werft
  Run the build with werft instead of GHA
• leeway-no-cache
• /werft no-test
  Run Leeway with --dont-test

Publish Options

• /werft publish-to-npm
• /werft publish-to-jb-marketplace

Installer Options

• with-ee-license
• with-dedicated-emulation
• with-ws-manager-mk2
• workspace-feature-flags
  Add desired feature flags to the end of the line above, space separated

Preview Environment Options:

• /werft with-local-preview
  If enabled this will build install/preview
• /werft with-preview
• /werft with-large-vm
• /werft with-gce-vm
  If enabled this will create the environment on GCE infra
• /werft with-integration-tests=all
  Valid options are all, workspace, webapp, ide, jetbrains, vscode, ssh

[stale]

This pull request has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.

[stale]

This pull request has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.