build: Enable use of stylelint-config-wikimedia and make pass

[lhc/web/wiklou.git] / resources / src / mediawiki.skinning / interface.css

diff --git a/resources/src/mediawiki.skinning/interface.css b/resources/src/mediawiki.skinning/interface.css
index d3f188a..f223e2a 100644 (file)
--- a/resources/src/mediawiki.skinning/interface.css
+++ b/resources/src/mediawiki.skinning/interface.css
@@ -23,7 +23,7 @@ textarea {
 .editOptions {
        background-color: #f8f9fa;
        border: 1px solid #c8ccd1;
-       border-top: none;
+       border-top: 0;
        padding: 1em 1em 1.5em 1em;
        margin-bottom: 2em;
 }