diff options
author | Blaster4385 <[email protected]> | 2024-02-21 23:18:49 +0530 |
---|---|---|
committer | Blaster4385 <[email protected]> | 2024-04-30 11:10:37 +0530 |
commit | 2c980043fef1f0ff2f5cd50cb3e79ab1ba8044a4 (patch) | |
tree | f1f71f8102eaf10a26bf982ba8f9942c6b22d146 /client/src | |
parent | 3fb5eeea185fc033dbd145efab5093b5ccb10d3b (diff) |
feat: switch editor font to jetbrains mono
Diffstat (limited to 'client/src')
-rw-r--r-- | client/src/components/Editor/Editor.module.css | 2 | ||||
-rw-r--r-- | client/src/components/prism-themes/prism-gruvbox-dark.css | 1 | ||||
-rw-r--r-- | client/src/components/prism-themes/prism-line-numbers.css | 2 |
3 files changed, 2 insertions, 3 deletions
diff --git a/client/src/components/Editor/Editor.module.css b/client/src/components/Editor/Editor.module.css index 992f67f..702847d 100644 --- a/client/src/components/Editor/Editor.module.css +++ b/client/src/components/Editor/Editor.module.css @@ -32,7 +32,7 @@ width: calc(100% - 60.8px); height: 100%; font-size: 1rem; - font-family: "Roboto Mono", monospace; + font-family: "JetBrains Mono", monospace; line-height: 1.5rem; resize: none; border: none; diff --git a/client/src/components/prism-themes/prism-gruvbox-dark.css b/client/src/components/prism-themes/prism-gruvbox-dark.css index 05804ef..bfdd903 100644 --- a/client/src/components/prism-themes/prism-gruvbox-dark.css +++ b/client/src/components/prism-themes/prism-gruvbox-dark.css @@ -11,7 +11,6 @@ code[class*="language-"], pre[class*="language-"] { color: #ebdbb2; /* fg1 / fg */ - font-family: Consolas, Monaco, "Andale Mono", monospace; direction: ltr; text-align: left; white-space: pre; diff --git a/client/src/components/prism-themes/prism-line-numbers.css b/client/src/components/prism-themes/prism-line-numbers.css index 4537d9d..4532b29 100644 --- a/client/src/components/prism-themes/prism-line-numbers.css +++ b/client/src/components/prism-themes/prism-line-numbers.css @@ -15,7 +15,7 @@ pre[class*="language-"], code[class*="language-"] { /* there might be some slight offsets, depending on what font you select */ - font-family: "Roboto Mono", monospace; + font-family: "JetBrains Mono", monospace; } /* from Prism */ |