__medium__ is not a standard LESS placeholder

dokufreaks · Feb 6, 2018 · d790d96 · d790d96
1 parent 5e3646b
commit d790d96
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/style.css b/style.css
@@ -10,11 +10,11 @@
 
 div.folded {
     padding: 0.5em;
-    border: 1px dotted __medium__;
+    border: 1px dotted __border__;
 }
 
 span.folded {
-    border: 1px dotted __medium__;
+    border: 1px dotted __border__;
 }
 
 span.indicator {