+
{value}
diff --git a/packages/app/src/UserPreferencesModal.tsx b/packages/app/src/UserPreferencesModal.tsx
index 6f20831f9..43d1be40c 100644
--- a/packages/app/src/UserPreferencesModal.tsx
+++ b/packages/app/src/UserPreferencesModal.tsx
@@ -17,6 +17,7 @@ import {
import { UserPreferences, useUserPreferences } from './useUserPreferences';
const OPTIONS_FONTS = [
+ 'IBM Plex Sans',
'IBM Plex Mono',
'Roboto Mono',
'Inter',
diff --git a/packages/app/src/components/HyperJson.module.scss b/packages/app/src/components/HyperJson.module.scss
index 1498a11e9..8a5c0a064 100644
--- a/packages/app/src/components/HyperJson.module.scss
+++ b/packages/app/src/components/HyperJson.module.scss
@@ -5,6 +5,7 @@
flex-direction: column;
padding: 0px 4px;
font-size: 12px;
+ font-family: var(--font-family-mono);
}
.withTabulate {
diff --git a/packages/app/src/useUserPreferences.tsx b/packages/app/src/useUserPreferences.tsx
index d196eca67..774e77f35 100644
--- a/packages/app/src/useUserPreferences.tsx
+++ b/packages/app/src/useUserPreferences.tsx
@@ -7,7 +7,7 @@ export type UserPreferences = {
isUTC: boolean;
timeFormat: '12h' | '24h';
theme: 'light' | 'dark';
- font: 'IBM Plex Mono' | 'Inter';
+ font: 'IBM Plex Mono' | 'IBM Plex Sans' | 'Roboto Mono' | 'Inter' | string;
backgroundEnabled?: boolean;
backgroundUrl?: string;
backgroundBlur?: number;
@@ -21,7 +21,7 @@ export const userPreferencesAtom = atomWithStorage
(
isUTC: false,
timeFormat: '12h',
theme: 'dark',
- font: 'IBM Plex Mono',
+ font: 'IBM Plex Sans',
},
);
diff --git a/packages/app/styles/app.scss b/packages/app/styles/app.scss
index b67b0ab12..d99d1f6e1 100644
--- a/packages/app/styles/app.scss
+++ b/packages/app/styles/app.scss
@@ -2,9 +2,8 @@
@import '~bootstrap/scss/bootstrap';
@import url('https://cdn.jsdelivr.net/npm/bootstrap-icons@1.11.0/font/bootstrap-icons.css');
@import url('https://fonts.googleapis.com/css2?family=IBM+Plex+Mono:wght@300;400;500;600;700&display=swap');
-@import url('https://fonts.googleapis.com/css2?family=Roboto:wght@100;300;400;500;700&display=swap');
-@import url('https://fonts.googleapis.com/css2?family=Inter:wght@100..900&display=swap');
@import url('https://fonts.googleapis.com/css2?family=Roboto+Mono:wght@100..700&display=swap');
+@import url('https://fonts.googleapis.com/css2?family=IBM+Plex+Sans:ital,wght@0,300;0,400;0,500;0,600;0,700;1,300;1,400;1,500;1,600;1,700&display=swap');
.inter {
font-family: Inter, Roboto, 'Helvetica Neue', sans-serif;
@@ -16,6 +15,10 @@
font-family: 'IBM Plex Mono', monospace;
}
+:root {
+ --font-family-mono: 'IBM Plex Mono', monospace;
+}
+
html,
body,
html[class~='dark'] body {
@@ -158,7 +161,7 @@ html[class~='dark'] body {
}
body {
- font-family: 'IBM Plex Mono', monospace;
+ font-family: 'IBM Plex Sans', sans-serif;
font-size: $font-size-base * 0.875;
}
@@ -522,7 +525,7 @@ div.react-datepicker {
// background-color: $bg-dark;
background-color: $body-bg;
- font-family: 'IBM Plex Mono', monospace;
+ font-family: 'IBM Plex Sans', monospace;
font-size: 14px;
// Calendar Month Header