From 3d60e1dd8adc896d629967e01e6e1950c88b67a1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=B6ren=20Weber?= Date: Sun, 4 Dec 2022 13:57:17 +0100 Subject: [PATCH] badge: fix background-color for IE #410 --- static/css/ie.css | 5 ----- static/css/theme.css | 2 ++ static/css/variant.css | 5 ----- 3 files changed, 2 insertions(+), 10 deletions(-) diff --git a/static/css/ie.css b/static/css/ie.css index fe9d7a8f66..e670ea5bca 100644 --- a/static/css/ie.css +++ b/static/css/ie.css @@ -508,11 +508,6 @@ border-color: rgba( 16, 16, 16, 1 ); /* var(--BOX-TEXT-color) */ } - .badge > .badge-title { - background-color: rgba( 16, 16, 16, 1 ); /* var(--BOX-TEXT-color) */ - color: rgba( 255, 255, 255, .833 ); /* var(--BOX-BG-color) */ - } - .badge > .badge-content { background-color: rgba( 128, 128, 128, 1 ); /* var(--INTERNAL-BOX-NEUTRAL-color) */ color: rgba( 255, 255, 255, 1 ); /* var(--BOX-CAPTION-color) */ diff --git a/static/css/theme.css b/static/css/theme.css index 303d61dad2..99032e9e6f 100644 --- a/static/css/theme.css +++ b/static/css/theme.css @@ -1651,9 +1651,11 @@ input[type="search"]::-webkit-search-results-decoration { display: none; } } .badge > .badge-title { + background-color: rgba( 16, 16, 16, 1 ); border-inline-end: 0; border-start-end-radius: 0; border-end-end-radius: 0; + color: rgba( 240, 240, 240, 1 ); filter: contrast(2); opacity: .75; } diff --git a/static/css/variant.css b/static/css/variant.css index d5ac55ec22..7a4c364c69 100644 --- a/static/css/variant.css +++ b/static/css/variant.css @@ -430,11 +430,6 @@ pre .copy-to-clipboard-button:hover { border-color: var(--VARIABLE-BOX-TEXT-color); } -.badge > .badge-title { - background-color: rgba( 16, 16, 16, 1 ); - color: rgba( 240, 240, 240, 1 ); -} - .badge > .badge-content { background-color: var(--VARIABLE-BOX-color); color: var(--VARIABLE-BOX-CAPTION-color);