From f5ff59f78642e46a19038b90f82d9574627cb2ef Mon Sep 17 00:00:00 2001 From: Rafostar <40623528+Rafostar@users.noreply.github.com> Date: Sat, 7 Aug 2021 16:48:53 +0200 Subject: [PATCH] css: Remove custom preferences CSS classes Those are not used anymore --- css/styles.css | 17 ----------------- 1 file changed, 17 deletions(-) diff --git a/css/styles.css b/css/styles.css index 04dba3da..2c84dbd0 100644 --- a/css/styles.css +++ b/css/styles.css @@ -287,23 +287,6 @@ scale trough slider { font-weight: 600; } -/* Preferences */ -.prefsnotebook grid { - margin: 10px; -} -.prefssubpage header { - background: none; -} -.prefssubpage header tabs tab { - box-shadow: none; - margin: 0px; - margin-right: 1px; -} -.prefssubpage header tabs tab:checked { - color: initial; - background: @theme_selected_bg_color; -} - /* Open URI Dialog */ .uridialogbox { margin: 12px;