Merge pull request #714 from sharelatex/as-line-nos

Add rich text line numbers
This commit is contained in:
Alasdair Smith 2018-07-03 11:11:17 +01:00 committed by GitHub
commit 1db937cd50

View file

@ -1,11 +1,11 @@
@rt-font-family: 'Source Sans Pro', 'Helvetica', 'Arial', sans-serif; @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 { .rich-text .CodeMirror {
font-family: @rt-font-family; font-family: @rt-font-family;
font-size: 1.15em; font-size: 1.15em;
pre, .CodeMirror-linewidget { pre {
font-family: @rt-font-family; font-family: @rt-font-family;
} }