tree b61599e011ff502e164625bea95e8f1d76873ec3
parent 371d1d812af79e0325d050e50b46237f02861c5f
author Marc Kupietz <kupietz@ids-mannheim.de> 1787061295 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1787061295 +0200

ids theme: use Fira Code for highlighted/code text

Loads Fira Code from Google Fonts (the monospaced Fira Sans variant the
IDS reference decks use) and sets it as --r-code-font, replacing the
generic monospace; falls back to Fira Mono (already imported via the
Mozilla CSS), then DejaVu Sans Mono. R's <- renders as an arrow glyph
via Fira Code's default ligatures.

Change-Id: I7b7eb8538042b2287973a6687c0e4f0565a21328