|
|
@@ -1,4 +1,5 @@
|
|
|
@rt-font-family-serif: 'Palatino Linotype', 'Book Antiqua', Palatino, serif;
|
|
|
+@rt-line-padding: 8%;
|
|
|
|
|
|
.rich-text .CodeMirror {
|
|
|
font-family: @rt-font-family-serif;
|
|
|
@@ -10,7 +11,7 @@
|
|
|
|
|
|
.CodeMirror-line {
|
|
|
// Add horizontal padding, to emulate a manuscript more closely
|
|
|
- padding: 0 8%;
|
|
|
+ padding: 0 @rt-line-padding;
|
|
|
}
|
|
|
|
|
|
.CodeMirror-linenumber {
|
|
|
@@ -41,23 +42,23 @@
|
|
|
/****************************************************************************/
|
|
|
|
|
|
.wl-indent-0 {
|
|
|
- padding-left: 2.5em !important;
|
|
|
+ padding-left: calc(~"2.5em + @{rt-line-padding}") !important;
|
|
|
}
|
|
|
|
|
|
.wl-indent-1 {
|
|
|
- padding-left: 3.5em !important;
|
|
|
+ padding-left: calc(~"3.5em + @{rt-line-padding}") !important;
|
|
|
}
|
|
|
|
|
|
.wl-indent-2 {
|
|
|
- padding-left: 4.5em !important;
|
|
|
+ padding-left: calc(~"4.5em + @{rt-line-padding}") !important;
|
|
|
}
|
|
|
|
|
|
.wl-indent-3 {
|
|
|
- padding-left: 5.5em !important;
|
|
|
+ padding-left: calc(~"5.5em + @{rt-line-padding}") !important;
|
|
|
}
|
|
|
|
|
|
.wl-indent-4 {
|
|
|
- padding-left: 6.5em !important;
|
|
|
+ padding-left: calc(~"6.5em + @{rt-line-padding}") !important;
|
|
|
}
|
|
|
|
|
|
.wl-indent-env-0 {
|