fix font-family-no-duplicate-names manually

Author: mvorisek

.stylelintrc.js

@@ -48,7 +48,6 @@ module.exports = {
         'declaration-block-no-redundant-longhand-properties': null, // 12 errors
         'value-no-vendor-prefix': null, // 9 errors
         'font-family-no-missing-generic-family-keyword': null, // 8 errors
-        'font-family-no-duplicate-names': null, // 2 errors
         'function-linear-gradient-no-nonstandard-direction': null, // 1 error
         'at-rule-no-vendor-prefix': null, // 1 error
     },

src/themes/default/globals/reset.overrides

@@ -62,6 +62,8 @@ hr {
  */
 
 pre {
+    // https://github.com/necolas/normalize.css/issues/519
+    // stylelint-disable-next-line font-family-no-duplicate-name
     font-family: monospace, monospace; /* 1 */
     font-size: 1em; /* 2 */
 }
@@ -105,6 +107,8 @@ strong {
 code,
 kbd,
 samp {
+    // https://github.com/necolas/normalize.css/issues/519
+    // stylelint-disable-next-line font-family-no-duplicate-name
     font-family: monospace, monospace; /* 1 */
     font-size: 1em; /* 2 */
 }