From a1f49bd38fe1b92db92a536ec9c2db6c88f318bb Mon Sep 17 00:00:00 2001 From: Sam Hewitt Date: Tue, 23 May 2023 13:27:38 -0230 Subject: [PATCH] style: Drop numeric font feature from panel --- data/theme/gnome-shell-sass/widgets/_panel.scss | 1 - 1 file changed, 1 deletion(-) diff --git a/data/theme/gnome-shell-sass/widgets/_panel.scss b/data/theme/gnome-shell-sass/widgets/_panel.scss index 650d4fa83..898958c5c 100644 --- a/data/theme/gnome-shell-sass/widgets/_panel.scss +++ b/data/theme/gnome-shell-sass/widgets/_panel.scss @@ -13,7 +13,6 @@ $panel_transition_duration: 250ms; // same as the overview transition duration background-color: $panel_bg_color; font-weight: bold; height: $panel_height; - @extend %numeric; transition-duration: $panel_transition_duration; box-shadow: inset 0 -1px 0 0 $panel_border_color;