Merge pull request #589 from brownplt/emphasize-tildes

Stylize tildes in roughnums to be more readable

Author: jpolitz

src/web/css/editor.css

@@ -320,13 +320,18 @@ body {
   font-size: var(--numbers-font-size);
   text-decoration: var(--numbers-text-decoration);
 }
-.cm-s-default .cm-roughnum { 
+.cm-s-default .cm-roughnum, .cm-s-default .cm-roughnum-start { 
   color: var(--rough-nums);
   font-weight: var(--rough-nums-font-weight);
   font-style: var(--rough-nums-font-style);
   font-size: var(--rough-nums-font-size);
   text-decoration: var(--rough-nums-text-decoration);
 }
+.cm-s-default .cm-roughnum-start {
+  display: inline-block;
+  transform: rotate(-15deg) scale(1.5);
+  margin-right: 0.125em;
+}
 .cm-s-default .cm-bad-number { 
   color: var(--bad-numbers);
   font-weight: var(--bad-numbers-font-weight);