fix font-family-no-duplicate-names manually

Author: mvorisek

.stylelintrc.js

@@ -42,7 +42,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,7 +62,7 @@ hr {
  */
 
 pre {
-    font-family: monospace, monospace; /* 1 */
+    font-family: monospace; /* 1 */
     font-size: 1em; /* 2 */
 }
 
@@ -105,7 +105,7 @@ strong {
 code,
 kbd,
 samp {
-    font-family: monospace, monospace; /* 1 */
+    font-family: monospace; /* 1 */
     font-size: 1em; /* 2 */
 }