From f95fb380566ffa0ecc2389b47780c0efffa19143 Mon Sep 17 00:00:00 2001 From: Alasdair Smith Date: Fri, 13 Jul 2018 15:13:22 +0100 Subject: [PATCH 1/4] 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- ? From 4d611ca3995e945d76941cf9c5306fd2ffe78626 Mon Sep 17 00:00:00 2001 From: Alasdair Smith Date: Fri, 13 Jul 2018 15:45:45 +0100 Subject: [PATCH 2/4] Add horizontal padding to RT lines This is to emulate a manusript better --- services/web/public/stylesheets/app/editor/rich-text.less | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/services/web/public/stylesheets/app/editor/rich-text.less b/services/web/public/stylesheets/app/editor/rich-text.less index 1e43691459..12a66b4dce 100644 --- a/services/web/public/stylesheets/app/editor/rich-text.less +++ b/services/web/public/stylesheets/app/editor/rich-text.less @@ -8,6 +8,11 @@ font-family: @rt-font-family-serif; } + .CodeMirror-line { + // Add horizontal padding, to emulate a manuscript more closely + padding: 0 8%; + } + // TODO: Change prefix away from wl- ? /****************************************************************************/ From 304eac30244c17ea112c4eaf53041efc7b7ee713 Mon Sep 17 00:00:00 2001 From: Alasdair Smith Date: Fri, 13 Jul 2018 15:57:43 +0100 Subject: [PATCH 3/4] Deemphasise line numbers in rich text --- services/web/public/stylesheets/app/editor/rich-text.less | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/services/web/public/stylesheets/app/editor/rich-text.less b/services/web/public/stylesheets/app/editor/rich-text.less index 12a66b4dce..70d446bd97 100644 --- a/services/web/public/stylesheets/app/editor/rich-text.less +++ b/services/web/public/stylesheets/app/editor/rich-text.less @@ -13,6 +13,10 @@ padding: 0 8%; } + .CodeMirror-linenumber { + font-size: 0.8em; + } + // TODO: Change prefix away from wl- ? /****************************************************************************/ From 5013d135873e608b6f6311d95acedaa65898c0c3 Mon Sep 17 00:00:00 2001 From: Alasdair Smith Date: Fri, 13 Jul 2018 16:30:42 +0100 Subject: [PATCH 4/4] Reduce box-shadow slightly to look better with horizontal padding --- services/web/public/stylesheets/app/editor/rich-text.less | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/services/web/public/stylesheets/app/editor/rich-text.less b/services/web/public/stylesheets/app/editor/rich-text.less index 70d446bd97..d3316a079e 100644 --- a/services/web/public/stylesheets/app/editor/rich-text.less +++ b/services/web/public/stylesheets/app/editor/rich-text.less @@ -116,7 +116,7 @@ .wl-figure-wrap { padding: 10px 0; background-color: #f5f5f5; - box-shadow: 2px 2px 2px #DFDFDF; + box-shadow: 1.3px 2px 2px #DFDFDF; width: 96%; margin: 0 auto; text-align: center;