Updated tab selectors

Doesn't change anything, except for the selectors used for styling tabs. Should make the CSS parsing and use a lot easier.

dist/mini-default.css

@@ -1623,11 +1623,7 @@ table.striped tr:nth-of-type(2n) > td {
   transition: -webkit-transform 0.3s,
  transform 0.3s;
 }
-
-.tabs > [type="radio"] + label + div + [type="radio"] + label, .tabs.stacked > [type="checkbox"] + label + div + [type="radio"] + label {
-  border-left: 0;
-}
-
+
 .tabs > label:not(:first-of-type) {
   border-left: 0;
 }
@@ -1675,7 +1671,7 @@ table.striped tr:nth-of-type(2n) > td {
   -webkit-transform-origin: top;
   transform-origin: top;
 }
-
+
 .tabs.stacked > label:not(:first-of-type) {
   border: 1px solid #bdbdbd;
   border-top: 0;
@@ -1698,7 +1694,7 @@ table.striped tr:nth-of-type(2n) > td {
   .tabs > [type="radio"] + label + div {
     -webkit-order: initial;
     order: initial;
-  }
+  }
   .tabs > label:not(:first-of-type) {
     border: 1px solid #bdbdbd;
     border-top: 0;
@@ -1842,7 +1838,7 @@ progress {
   vertical-align: baseline;
   -webkit-appearance: none;
   -moz-appearance: none;
-  appearance: none;
+  appearance: none;
   height: 0.625rem;
   width: 90%;
   width: calc(100% - 1rem);

dist/mini-lite.css

@@ -1223,7 +1223,7 @@ progress {
   -webkit-appearance: none;
   -moz-appearance: none;
   appearance: none;
-  height: 1rem;
+  height: 0.625rem;
   width: 90%;
   width: calc(100% - 1rem);
   margin: 0.5rem 0.5rem;