$color-hotKeys-bg: var(--semi-color-fill-0); // 快捷键背景颜色
$color-hotKeys-text: var(--semi-color-text-2); // 快捷键文字颜色
$color-hotKeys-split: var(--semi-color-text-0); // 快捷键文字颜色

$width-hotKeys-border: 1px; // 快捷键描边宽度
$radius-hotKeys: 2px; // 边框半径

$height-hotKeys: 20px; // 快捷键高度
$spacing-hotKeys-paddingY: 2px;
$spacing-hotKeys-paddingX: $spacing-tight;