Description
I am using the Bielefeld theme, but want to have a different font with it. So, according to your documentation page, this what I put in the Custom CSS file:
#editor {
font-family: '<DejaVu Sans Condensed>', <sans-serif>;
}
But that does not change the font in Bielefeld.
Reproducing
Add the code above to Custom CSS, and see the non-result.
Expected behaviour
I would expect the Custom CSS file to take prevalence.
Screenshots
Platform
- OS: Linux Mint
- OS Version 19.2
- Zettlr Version 1.4.1
- Screen Resolution [only necessary if the bug is relating to the GUI]
Additional information
Description
I am using the Bielefeld theme, but want to have a different font with it. So, according to your documentation page, this what I put in the Custom CSS file:
But that does not change the font in Bielefeld.
Reproducing
Add the code above to Custom CSS, and see the non-result.
Expected behaviour
I would expect the Custom CSS file to take prevalence.
Screenshots
Platform
Additional information