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/components/Editor/Editor.module.css | |
| parent | 3fb5eeea185fc033dbd145efab5093b5ccb10d3b (diff) | |
feat: switch editor font to jetbrains mono
Diffstat (limited to 'client/src/components/Editor/Editor.module.css')
| -rw-r--r-- | client/src/components/Editor/Editor.module.css | 2 |
1 files changed, 1 insertions, 1 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; |