diff --git a/src/theme/style-hc.css b/src/theme/style-hc.css index af43224b..2cde9e71 100644 --- a/src/theme/style-hc.css +++ b/src/theme/style-hc.css @@ -2,11 +2,6 @@ --month-border-color: white; } -.sources-button > button:hover, -.sources-button > button:active, -.sources-button > button:checked { - box-shadow: inset 1px 0 var(--borders), inset -1px 0 var(--borders); -} datechooser .weeknum { color: var(--window-fg-color); background-color: rgb(from var(--window-fg-color) r g b / 5%); diff --git a/src/theme/style.css b/src/theme/style.css index f9806f19..5bafbef6 100644 --- a/src/theme/style.css +++ b/src/theme/style.css @@ -57,10 +57,6 @@ popover.event-popover > contents { padding: 0; } -.search-viewport { - background-color: var(--view-bg-color); -} - /* calendar popover */ .calendar-list { background-color: transparent; @@ -70,32 +66,6 @@ popover.event-popover > contents { border-radius: 4px; } -/* Edit dialog's header button */ -.sources-button { - margin-top: -6px; - margin-bottom: -6px; -} - -.sources-button > button { - border-radius: 0; -} - -/* defeats the ugly hover effect of the calendar color dot on buttons */ -.calendar-color-image { - -gtk-icon-filter: none; -} - -/* adds a subtle shadow to the calendar color dot when it makes sense */ -image.calendar-color-image, -button:active:not(:backdrop) .calendar-color-image, -button:checked:not(:backdrop) .calendar-color-image, -.calendars-list .calendar-color-image:not(:backdrop):not(:disabled), -.calendar-list .calendar-color-image:not(:backdrop):not(:disabled), -.sources-button:not(:backdrop):not(:disabled) .calendar-color-image { - -gtk-icon-shadow: 0 1px rgb(from black r g b / 10%); -} - - /* Date chooser */ /* month/year controls */ @@ -211,19 +181,6 @@ label.month-name { /* Week View CSS */ -.week-header .week-number { - font-size: 16pt; - font-weight: bold; - padding: 12px 12px 18px 12px; - color: rgb(from var(--window-fg-color) r g b / 25%); -} - -.week-header.week-temperature { - font-size: 10pt; - font-weight: bold; - color: rgb(from var(--window-fg-color) r g b / 55%); -} - .week-header.lines { color: rgb(from var(--window-fg-color) r g b / 15%); }