Correct font names

"Noto Mono" doesn't exist, it should be "Noto Sans Mono", but I decided
to take Fira Mono anyway.
This commit is contained in:
M1dgard 2018-07-09 12:30:25 +02:00
parent 37efe42891
commit 68d5cef1b5
Signed by untrusted user who does not match committer: midgard
GPG key ID: 511C112F1331BBB4

View file

@ -31,7 +31,7 @@
anchor: north;
children: [mainbox, dummy];
background-color: rgba(0,0,0,0.5);
font: "Noto Mono 14";
font: "Fira Mono 14";
}
#dummy {
@ -47,7 +47,7 @@
#element {
padding: 4px 10px;
font: "Noto Mono 12";
font: "Fira Mono 12";
}
#element.selected {