replace key type with kbd

key tag is no longer used since 12e0035

Author: nadalaba

frontend/static/funbox/crt.css

@@ -101,7 +101,7 @@ body.crtmode #caret {
 }
 
 body.crtmode #paceCaret,
-body.crtmode key, /* cannot find what the key selector refers to */
+body.crtmode kbd,
 body.crtmode #bannerCenter .banner {
   box-shadow:
     3px 0 1px var(--crt-sub-color-glow),

stylelint.config.mjs

@@ -19,7 +19,7 @@ export default {
     ], // source for lightningCss and the rest for tailwind //default: true
     "selector-type-no-unknown": [
       true,
-      { ignore: ["custom-elements"], ignoreTypes: ["letter", "hint", "key"] },
+      { ignore: ["custom-elements"], ignoreTypes: ["letter", "hint"] },
     ], // default: [true, {ignore: ['custom-elements'],},]
 
     "length-zero-no-unit": null, // default: [true, {ignore: ['custom-properties'], ignorePreludeOfAtRules: ['function', 'mixin'],},]