Switch to serif font for rich text

Makes rich text ressemble a manuscript more closely
This commit is contained in:
Alasdair Smith 2018-07-13 15:13:22 +01:00
parent b00cad19ff
commit f95fb38056

View file

@ -1,12 +1,11 @@
@rt-font-family: 'Source Sans Pro', 'Helvetica', 'Arial', sans-serif;
// @rt-font-family-serif: 'Palatino Linotype', 'Book Antiqua', Palatino, serif;
@rt-font-family-serif: 'Palatino Linotype', 'Book Antiqua', Palatino, serif;
.rich-text .CodeMirror {
font-family: @rt-font-family;
font-family: @rt-font-family-serif;
font-size: 1.15em;
pre {
font-family: @rt-font-family;
font-family: @rt-font-family-serif;
}
// TODO: Change prefix away from wl- ?