Auto-fix stylelint issues

These `stylelint` issues were autofixed by the tool itself and look sane to me.
2019-07-10 16:56:40 +01:00
parent 4ebba43873
commit dd2079bffc
49 changed files with 143 additions and 162 deletions
@@ -22,4 +22,4 @@ limitations under the License.
    padding: 6px;
    font-weight: bold;
    font-size: 13px;
-}
+}