ui/src/assets/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 "theme";

.pf-keycap {
  user-select: none;
  line-height: 1;
  background-color: #fafbfc;
  border: 1px solid #d1d5da;
  border-bottom-color: #c6cbd1;
  border-radius: 3px;
  box-shadow: inset 0 -1px 0 #c6cbd1;
  color: #444d56;
  display: inline-block;
  font-family: $pf-font;
  vertical-align: baseline;

  i {
    font-size: inherit;
    vertical-align: baseline;
    line-height: 1;
    float: left;
  }

  padding: 2px 4px;
}

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