build: Introduce stylelint

[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 b57ee36..80a2ff4 100644 (file)
--- a/resources/src/mediawiki.skinning/interface.css
+++ b/resources/src/mediawiki.skinning/interface.css
@@ -16,7 +16,7 @@
 }
 
 .editOptions {
-       background-color: #F0F0F0;
+       background-color: #f0f0f0;
        border: 1px solid silver;
        border-top: none;
        padding: 1em 1em 1.5em 1em;