/* The rules of the device pf-mic (src/devices/pf-mic.js). index.html loads this file after src/tokens.css, so at the same
   specificity a rule of this file wins over a rule of tokens.css. */
/* The palm microphone of the dispatch (pf-mic.js): a round case with a dome, a grille of rings, the orange talk bar round
   its right side, and a coiled cable in signal orange. */
pf-mic { --color: #d1c8c6; --radius-device: 5.85; --dome: .2; --height: 1.6; --grain: .35; }   /* round: the radius is half its side */
pf-mic .grille { --pattern-pitch: .49; --pattern-margin: 0; --keybed: #5b514f; }
pf-mic .talk { --color: #e8641e; }