Add Inter and JetBrains Mono fonts

wwwroot/css/base.css

@@ -71,6 +71,11 @@ input {
   min-width: 0;
 }
 
+textarea, code, pre, .tool-input, .tool-diff, .tool-result, .fe-line-numbers {
+  font-family: var(--mono);
+  font-size: var(--mono-size);
+}
+
 textarea {
   height: 12em;
   min-height: 12em;

wwwroot/css/fonts.css

@@ -0,0 +1,39 @@
+@font-face {
+  font-family: 'Inter';
+  src: url('../fonts/Inter-Regular.woff2') format('woff2');
+  font-weight: 400;
+  font-style: normal;
+  font-display: swap;
+}
+
+@font-face {
+  font-family: 'Inter';
+  src: url('../fonts/Inter-Medium.woff2') format('woff2');
+  font-weight: 500;
+  font-style: normal;
+  font-display: swap;
+}
+
+@font-face {
+  font-family: 'Inter';
+  src: url('../fonts/Inter-SemiBold.woff2') format('woff2');
+  font-weight: 600;
+  font-style: normal;
+  font-display: swap;
+}
+
+@font-face {
+  font-family: 'JetBrains Mono';
+  src: url('../fonts/JetBrainsMono-Regular.woff2') format('woff2');
+  font-weight: 400;
+  font-style: normal;
+  font-display: swap;
+}
+
+@font-face {
+  font-family: 'JetBrains Mono';
+  src: url('../fonts/JetBrainsMono-Medium.woff2') format('woff2');
+  font-weight: 500;
+  font-style: normal;
+  font-display: swap;
+}

wwwroot/css/theme.css

@@ -14,8 +14,10 @@
   --chat-bg: #1c1c1c;
   --border-width: 1px;
   --semi-transparent: 0.6;
-  --font: sans-serif;
+  --font: 'Inter', sans-serif;
   --font-size: .85em;
+  --mono: 'JetBrains Mono', monospace;
+  --mono-size: .95em;
   --border-radius: .5em;
   --page-padding: 2em;
   --page-spacing: 2em;

wwwroot/index.html

@@ -5,6 +5,7 @@
   <meta name="viewport" content="width=device-width, initial-scale=1">
   <title>// gott</title>
   <script src="js/title.js"></script>
+  <link rel="stylesheet" href="css/fonts.css">
   <link rel="stylesheet" href="css/theme.css">
   <link rel="stylesheet" href="css/base.css">
   <link rel="stylesheet" href="css/main.css">