Adding repetition labels

2014-12-15 12:24:32 -05:00
parent b4b999d7a6
commit c0eed07d9b
3 changed files with 42 additions and 1 deletions
@@ -64,7 +64,9 @@
          fill: #cbcbba;
        }

-        .subexp .subexp-label, .charset .charset-label {
+        .subexp .subexp-label,
+        .charset .charset-label,
+        .match-fragment .repeat-label {
          font-size: 10px;
        }