waveterm/frontend/app/tab/tabbar.scss

123 lines
2.4 KiB
SCSS
Raw Normal View History

2024-06-18 06:50:33 +02:00
// Copyright 2024, Command Line Inc.
// SPDX-License-Identifier: Apache-2.0
.tab-bar-wrapper {
--default-indent: 10px;
--darwin-not-fullscreen-indent: 74px;
}
.darwin:not(.fullscreen) .tab-bar-wrapper {
.window-drag.left {
width: var(--darwin-not-fullscreen-indent);
}
}
.config-error-message {
max-width: 500px;
h3 {
margin-bottom: 10px;
}
margin-bottom: 20px;
}
2024-06-18 06:50:33 +02:00
.tab-bar-wrapper {
padding-top: 6px;
position: relative;
2024-06-23 21:03:09 +02:00
user-select: none;
display: flex;
flex-direction: row;
width: 100vw;
-webkit-app-region: drag;
button {
-webkit-app-region: no-drag;
}
.tabs-wrapper {
transition: var(--tabs-wrapper-transition);
height: 26px;
}
.tab-bar {
position: relative; // Needed for absolute positioning of child tabs
display: flex;
flex-direction: row;
height: 27px;
-webkit-app-region: no-drag;
2024-08-07 01:41:00 +02:00
}
.pinned-tab-spacer {
display: block;
height: 100%;
margin: 2px;
border: 1px solid var(--border-color);
}
.dev-label,
.app-menu-button {
font-size: 26px;
user-select: none;
display: flex;
align-items: center;
justify-content: center;
padding: 0 6px 0 0;
}
.app-menu-button {
cursor: pointer;
color: var(--secondary-text-color);
&:hover {
color: var(--main-text-color);
}
}
.dev-label {
color: var(--accent-color);
}
.tab-bar-right {
display: flex;
flex-direction: row;
gap: 6px;
&:not(:empty) {
margin-left: auto;
margin-right: 6px;
}
}
.config-error-button {
color: black;
padding: 0 6px;
flex: 0 0 fit-content;
}
.add-tab {
padding: 0 10px;
}
.window-drag {
height: 100%;
width: var(--default-indent);
flex-shrink: 0;
&.right {
flex-grow: 1;
}
}
2024-06-23 21:03:09 +02:00
// Customize scrollbar styles
.os-theme-dark,
.os-theme-light {
box-sizing: border-box;
--os-size: 2px;
--os-padding-perpendicular: 0px;
--os-padding-axis: 0px;
--os-track-border-radius: 2px;
--os-handle-interactive-area-offset: 0px;
--os-handle-border-radius: 2px;
2024-06-18 06:50:33 +02:00
}
}