Replace Metric with another typeface

[thibaudcolas]

At the moment the site's styles still reference Metric, but I have removed the font files because we can't use it in open-source projects. We have to switch to another typeface.

• Pick a new typeface
• Replace all references to Metric with the new typeface

I would suggest we either:

• Rely on system fonts. This would give us San Francisco on OSX/iOS, Roboto on Android, Segoe UI on Windows - all fine typefaces.
• Rely on a font from Google Fonts.

[vincentaudebert]

I would totally pick Roboto from Google Fonts https://fonts.google.com/specimen/Roboto. It's nice, it's used on 11 million websites so it will probably be in user browser cache. And if not, it's only 800B to load using Google CDN 👍

[thibaudcolas]

@vincentaudebert just in case – 800b is just the CSS query to the CDN (payload size varies depending on your browser and number of fonts loaded), then each font is a good 10-20kb depending on browser & subsetting.

[vincentaudebert]

Ah good to know :(