From 512bb4c00e1fed39927c8bd40aaef378db64d648 Mon Sep 17 00:00:00 2001 From: Pieter Vander Vennet Date: Thu, 21 Dec 2023 01:49:36 +0100 Subject: [PATCH] Fix: keep map mouse-interactive when panning with arrow keys, some CSS-tweaks --- public/css/index-tailwind-output.css | 1 + src/UI/Base/ShareButton.svelte | 2 +- src/UI/Popup/MarkAsFavouriteMini.svelte | 2 +- src/UI/ThemeViewGUI.svelte | 2 +- src/index.css | 1 + 5 files changed, 5 insertions(+), 3 deletions(-) diff --git a/public/css/index-tailwind-output.css b/public/css/index-tailwind-output.css index 97d7b77fe..a81ff44a1 100644 --- a/public/css/index-tailwind-output.css +++ b/public/css/index-tailwind-output.css @@ -2517,6 +2517,7 @@ button.soft, .button.soft { button.soft:hover, .button.soft:hover { background-color: var(--interactive-background); color: var(--interactive-foreground); + border: 2px solid var(--catch-detail-color-contrast); } .links-as-button a { diff --git a/src/UI/Base/ShareButton.svelte b/src/UI/Base/ShareButton.svelte index e9875e085..86256843b 100644 --- a/src/UI/Base/ShareButton.svelte +++ b/src/UI/Base/ShareButton.svelte @@ -26,7 +26,7 @@ } -