Replace Source Code Pro with Fira Mono for code snippets

The main reason to do this is to fix standardebooks/manual#9, but the font is also about 20% smaller which is a nice benefit.

Fira Mono is also licensed under OFL so no change there. I have no stylistic preference either way, but they’re broadly similar in look. Fira Mono has no italic faces, but we have no italic display of source code so no loss there.

www/css/core.css

@@ -48,33 +48,19 @@
 }
 
 @font-face{
-	font-family: "Source Code Pro";
-	src: local('Source Code Pro'), url('/fonts/source-code-pro.woff2') format('woff2'), url('/fonts/source-code-pro.woff') format('woff');
+	font-family: "Fira Mono";
+	src: local('Fira Mono'), url('/fonts/firamono-regular.woff2') format('woff2'), url('/fonts/firamono-regular.woff') format('woff');
 	font-weight: normal;
 	font-style: normal;
 }
 
 @font-face{
-	font-family: "Source Code Pro";
-	src: local('Source Code Pro'), url('/fonts/source-code-pro-bold.woff2') format('woff2'), url('/fonts/source-code-pro-bold.woff') format('woff');
+	font-family: "Fira Mono";
+	src: local('Fira Mono'), url('/fonts/firamono-bold.woff2') format('woff2'), url('/fonts/firamono-bold.woff') format('woff');
 	font-weight: bold;
 	font-style: normal;
 }
 
-@font-face{
-	font-family: "Source Code Pro";
-	src: local('Source Code Pro'), url('/fonts/source-code-pro-italic.woff2') format('woff2'), url('/fonts/source-code-pro-italic.woff') format('woff');
-	font-weight: normal;
-	font-style: italic;
-}
-
-@font-face{
-	font-family: "Source Code Pro";
-	src: local('Source Code Pro'), url('/fonts/source-code-pro-bold-italic.woff2') format('woff2'), url('/fonts/source-code-pro-bold-italic.woff') format('woff');
-	font-weight: bold;
-	font-style: italic;
-}
-
 :root{
 	--light-body-text: #222;
 	--light-highlight: #1d6878;

www/css/manual.css

@@ -148,14 +148,13 @@ code.css.full::before{
 }
 
 code{
-	font-family: 'Source Code Pro', monospace;
+	font-family: 'Fira Mono', monospace;
 	font-size: .8rem;
 }
 
 code.terminal{
 	color: #fff;
 	background-color: #444;
-	font-family: 'Source Code Pro', monospace;
 	text-align: left;
 	padding: 1rem 1rem 1rem 3rem;
 	border-radius: .25rem;