diff --git a/front_end/ui/tabbedPane.css b/front_end/ui/tabbedPane.css
index 9eee1d7f97..5f1a40dae6 100644
--- a/front_end/ui/tabbedPane.css
+++ b/front_end/ui/tabbedPane.css
@@ -145,9 +145,6 @@
 
 .tabbed-pane-header-tab.selected {
   border-bottom: none;
-}
-
-.tabbed-pane-header-tab.selected {
   background-color: var(--tab-selected-bg-color);
   color: var(--tab-selected-fg-color);
 }