aboutsummaryrefslogtreecommitdiff
path: root/client/src
diff options
context:
space:
mode:
authorBlaster4385 <[email protected]>2024-02-21 23:18:49 +0530
committerBlaster4385 <[email protected]>2024-04-30 11:10:37 +0530
commit2c980043fef1f0ff2f5cd50cb3e79ab1ba8044a4 (patch)
treef1f71f8102eaf10a26bf982ba8f9942c6b22d146 /client/src
parent3fb5eeea185fc033dbd145efab5093b5ccb10d3b (diff)
feat: switch editor font to jetbrains mono
Diffstat (limited to 'client/src')
-rw-r--r--client/src/components/Editor/Editor.module.css2
-rw-r--r--client/src/components/prism-themes/prism-gruvbox-dark.css1
-rw-r--r--client/src/components/prism-themes/prism-line-numbers.css2
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 */