ui/src/widgets/hotkey.scss

// Copyright (C) 2023 The Android Open Source Project
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
//      http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.

@import "../assets/theme";

kbd.pf-keycap {
  font-family: inherit; // Override the base kbd style

  user-select: none;
  line-height: 1;
  background-color: var(--pf-color-background-secondary);
  border: 1px solid var(--pf-color-border);
  border-bottom-width: 2px;
  border-radius: 3px;
  color: var(--pf-color-text-muted);
  display: inline-block;
  vertical-align: baseline;
  padding: 2px 4px;

  &.pf-spacing-large {
    padding: 4px 6px;
  }
}

.pf-hotkey {
  display: inline-flex;
  flex-direction: row;
  gap: 2px;
}