From f95fb380566ffa0ecc2389b47780c0efffa19143 Mon Sep 17 00:00:00 2001 From: Alasdair Smith Date: Fri, 13 Jul 2018 15:13:22 +0100 Subject: [PATCH] Switch to serif font for rich text Makes rich text ressemble a manuscript more closely --- services/web/public/stylesheets/app/editor/rich-text.less | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/services/web/public/stylesheets/app/editor/rich-text.less b/services/web/public/stylesheets/app/editor/rich-text.less index 825c348fbf..1e43691459 100644 --- a/services/web/public/stylesheets/app/editor/rich-text.less +++ b/services/web/public/stylesheets/app/editor/rich-text.less @@ -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- ?