From 8b5e5146cff87d491e176fed4b4682dce653a7d4 Mon Sep 17 00:00:00 2001 From: John Bowdre Date: Sat, 20 Apr 2024 16:30:54 -0500 Subject: [PATCH] use berkeley mono font --- static/css/custom.css | 28 ++++++++++++++++++++++++++++ 1 file changed, 28 insertions(+) diff --git a/static/css/custom.css b/static/css/custom.css index 42bb8c2..7a95da5 100644 --- a/static/css/custom.css +++ b/static/css/custom.css @@ -1,6 +1,34 @@ /* color overrides */ :root { --code: var(--base06); + --font-monospace: 'Berkeley Mono', 'monospace'; +} + +@font-face { + font-family: 'Berkeley Mono'; + font-style: normal; + font-weight: 400; + src: local('Berkeley Mono'), + url('/fonts/BerkeleyMono-Regular.woff2') format('woff2'), + url('/fonts/BerkeleyMono-Regular.woff') format('woff') +} + +@font-face { + font-family: 'Berkeley Mono'; + font-style: italic; + font-weight: 400; + src: local('Berkeley Mono Italic'), + url('/fonts/BerkeleyMono-Italic.woff2') format('woff2'), + url('/fonts/BerkeleyMono-Italic.woff') format('woff') +} + +@font-face { + font-family: 'Berkeley Mono'; + font-style: normal; + font-weight: 600; + src: local('Berkeley Mono Bold'), + url('/fonts/BerkeleyMono-Bold.woff2') format('woff2'), + url('/fonts/BerkeleyMono-Bold.woff') format('woff') } /* override page max-width */