build: Update stylelint
[lhc/web/wiklou.git] / resources / src / mediawiki.skinning / elements.css
index d204d5d..366c5a9 100644 (file)
@@ -13,7 +13,7 @@ a {
        background: none;
 }
 
-a:not( [href] ) {
+a:not( [ href ] ) {
        cursor: pointer; /* Always cursor:pointer even without href */
 }
 
@@ -206,8 +206,9 @@ samp,
        /*
         * Some browsers will render the monospace text too small, namely Firefox, Chrome and Safari.
         * Specifying any valid, second value will trigger correct behavior without forcing a different font.
+        * See T176636
         */
-       font-family: monospace, 'Courier';
+       font-family: monospace, monospace;
 }
 
 code {