Change font settings for editor

Signed-off-by: Tilman Vatteroth <tilman.vatteroth@tu-dortmund.de>
This commit is contained in:
Tilman Vatteroth 2020-06-12 21:49:17 +02:00 committed by mrdrogdrog
parent e309f4e608
commit 1703818b91

View file

@ -2,5 +2,9 @@
@import './one-dark.css';
.CodeMirror {
font-family: "Source Code Pro", Consolas, monaco, monospace;
letter-spacing: 0.025em;
line-height: 1.25;
font-size: 18px;
height: 100%;
}