fix(editor): Optimize application layout (#11769)

This commit is contained in:
Csaba Tuncsik
2024-11-19 13:31:04 +01:00
committed by GitHub
parent 6c2dad7914
commit 91f9390b90
8 changed files with 26 additions and 21 deletions

View File

@@ -211,7 +211,6 @@ async function navigateToExecutionsView(openInNewTab: boolean) {
.main-header {
background-color: var(--color-background-xlight);
height: $header-height;
width: 100%;
box-sizing: border-box;
border-bottom: var(--border-width-base) var(--border-style-base) var(--color-foreground-base);
@@ -222,16 +221,15 @@ async function navigateToExecutionsView(openInNewTab: boolean) {
display: flex;
align-items: center;
font-size: 0.9em;
height: $header-height;
font-weight: 400;
padding: 0 var(--spacing-m) 0 var(--spacing-m);
padding: var(--spacing-xs) var(--spacing-m);
}
.github-button {
display: flex;
position: relative;
align-items: center;
height: $header-height;
align-self: stretch;
padding-left: var(--spacing-m);
padding-right: var(--spacing-m);
background-color: var(--color-background-xlight);