remove uneeded line

This commit is contained in:
Insert5StarName 2023-10-09 04:39:16 +02:00
parent bdc9619f2d
commit 8f53748839
1 changed files with 0 additions and 1 deletions

View File

@ -169,7 +169,6 @@ onUnmounted(() => {
top: var(--stickyTop, 0px); top: var(--stickyTop, 0px);
left: 0; left: 0;
color: var(--panelHeaderFg); color: var(--panelHeaderFg);
//background: var(--panelHeaderBg);
border-bottom: solid 0.5px var(--panelHeaderDivider); border-bottom: solid 0.5px var(--panelHeaderDivider);
z-index: 2; z-index: 2;
line-height: 1.4em; line-height: 1.4em;