style: Fix source button styles

- Port the style to GTK4 and remove obsolete styles
- Fix double border in high contrast
- Update for libadwaita toolbar margin changes

src/theme/style-hc.css

@@ -0,0 +1,5 @@
+.sources-button > button:hover,
+.sources-button > button:active,
+.sources-button > button:checked {
+    box-shadow: inset 1px 0 @borders, inset -1px 0 @borders;
+}

src/theme/style.css

@@ -133,16 +133,12 @@ popover.event-popover > contents {
 
 /* Edit dialog's header button */
 .sources-button {
-    margin-top: 0;
-    margin-bottom: 0;
-    border-radius: 0;
-    border-top-style: none;
-    border-bottom-style: none;
+    margin-top: -6px;
+    margin-bottom: -6px;
 }
 
-.sources-button:hover:not(:backdrop) {
-    background-image: none;
-    text-shadow: none;
+.sources-button > button {
+    border-radius: 0;
 }
 
 /* defeats the ugly hover effect of the calendar color dot on buttons */

src/theme/theme.gresource.xml

@@ -3,5 +3,6 @@
   <gresource prefix="/org/gnome/calendar">
     <file>style.css</file>
     <file>style-dark.css</file>
+    <file>style-hc.css</file>
   </gresource>
 </gresources>