.keyboard-tip[data-v-f42c43a0]{font-variant:small-caps;color:#0000004f;background:#66666610;border:1px solid #00000025;border-radius:4px;margin:0;padding:1px 4px;font-size:13px;line-height:1.2em;display:inline-block}