|
@@ -8,6 +8,11 @@
|
|
|
font-family: @rt-font-family-serif;
|
|
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- ?
|
|
// TODO: Change prefix away from wl- ?
|
|
|
|
|
|
|
|
/****************************************************************************/
|
|
/****************************************************************************/
|