Fix up some CSS things stylelint was complaining about

And also disable a load of rules that feel like they're probably causing more headaches than they fix.
2019-04-09 15:03:13 +01:00
parent 564a9838b0
commit eb6f3f6008
13 changed files with 126 additions and 118 deletions
@@ -35,7 +35,7 @@ limitations under the License.
    background-color: $menu-bg-color;
    color: $primary-fg-color;
    position: absolute;
-	font-size: 14px;
+    font-size: 14px;
    z-index: 5001;
 }