Expand lines on highlight, fix EditorLabel highlight attempt

2019-07-10 23:51:14 +00:00
parent c52f93d6d2
commit 591d4814a7
3 changed files with 8 additions and 1 deletions
--- a/lines.svg
+++ b/lines.svg
@@ -6,7 +6,7 @@
 /* <![CDATA[ */
 path.line {
  stroke: var(--line-color, black);
-  stroke-width: 1.5;
+  stroke-width: var(--line-width, 1.5);
  fill: transparent;
  shape-rendering: geometricPrecision;
 }