Cleaning up the old theme. (#2720)

This commit is contained in:
Alexander Platov
2023-03-10 07:08:04 +07:00
committed by GitHub
parent 1d1ad2e8a1
commit 013c09ada2
158 changed files with 599 additions and 578 deletions
@@ -76,14 +76,14 @@
height: 2.5rem;
font-weight: 500;
font-size: 0.75rem;
color: var(--theme-content-dark-color);
box-shadow: inset 0 -1px 0 0 var(--theme-bg-focused-color);
color: var(--dark-color);
box-shadow: inset 0 -1px 0 0 var(--trans-content-10);
user-select: none;
}
.tr-body {
height: 3.25rem;
color: var(--theme-caption-color);
border-bottom: 1px solid var(--theme-button-border-hovered);
color: var(--caption-color);
border-bottom: 1px solid var(--divider-color);
}
</style>