From 37ab99d1d21c1d6b3880dfb6fd11dcadb97e5c48 Mon Sep 17 00:00:00 2001 From: Matthias Clasen Date: Tue, 5 Jan 2016 07:48:54 -0500 Subject: [PATCH] HighContrast: Fix checks and radios --- gtk/theme/HighContrast/_common.scss | 12 ++++++- gtk/theme/HighContrast/gtk.css | 53 +++++++++++++++++------------ 2 files changed, 42 insertions(+), 23 deletions(-) diff --git a/gtk/theme/HighContrast/_common.scss b/gtk/theme/HighContrast/_common.scss index a3ed4fdb4a..4ca0a81a2a 100644 --- a/gtk/theme/HighContrast/_common.scss +++ b/gtk/theme/HighContrast/_common.scss @@ -1630,7 +1630,7 @@ GtkCheckButton.text-button, GtkRadioButton.text-button { @each $w,$a in ('check', 'checkbox'), ('radio','radio') { - .#{$w} { + #{$w} { color: $fg_color; background-image: none; -gtk-icon-source: -gtk-icontheme('#{$a}-symbolic'); @@ -1657,6 +1657,16 @@ GtkCheckButton.text-button, GtkRadioButton.text-button { } } +radiobutton radio, +checkbutton check { + min-width: 16px; + min-height: 16px; + margin: 0 2px 0 2px; + &:only-child { + margin: 0; + } +} + /************ * GtkScale * ************/ diff --git a/gtk/theme/HighContrast/gtk.css b/gtk/theme/HighContrast/gtk.css index a8d5a5cfba..6bd6c43bd1 100644 --- a/gtk/theme/HighContrast/gtk.css +++ b/gtk/theme/HighContrast/gtk.css @@ -1750,56 +1750,65 @@ GtkCheckButton.text-button, GtkRadioButton.text-button { padding: 1px; outline-offset: 0; } -.check { +check { color: #000; background-image: none; -gtk-icon-source: -gtk-icontheme("checkbox-symbolic"); } - .check:hover { + check:hover { color: #333333; } - .check:checked, .check:active { + check:checked, check:active { -gtk-icon-source: -gtk-icontheme("checkbox-checked-symbolic"); } - .check:checked:disabled, .check:active:disabled { + check:checked:disabled, check:active:disabled { color: gray; } - .check:checked:disabled:backdrop, .check:active:disabled:backdrop { + check:checked:disabled:backdrop, check:active:disabled:backdrop { color: gray; } - .check:checked:backdrop, .check:active:backdrop { + check:checked:backdrop, check:active:backdrop { color: #000; } - .check:disabled { + check:disabled { color: gray; } - .check:disabled:backdrop { + check:disabled:backdrop { color: gray; } - .check:indeterminate { + check:indeterminate { -gtk-icon-source: -gtk-icontheme("checkbox-mixed-symbolic"); } - .check:backdrop { + check:backdrop { color: #000; } - .check:backdrop:selected { + check:backdrop:selected { color: #000; } -.radio { +radio { color: #000; background-image: none; -gtk-icon-source: -gtk-icontheme("radio-symbolic"); } - .radio:hover { + radio:hover { color: #333333; } - .radio:checked, .radio:active { + radio:checked, radio:active { -gtk-icon-source: -gtk-icontheme("radio-checked-symbolic"); } - .radio:checked:disabled, .radio:active:disabled { + radio:checked:disabled, radio:active:disabled { color: gray; } - .radio:checked:disabled:backdrop, .radio:active:disabled:backdrop { + radio:checked:disabled:backdrop, radio:active:disabled:backdrop { color: gray; } - .radio:checked:backdrop, .radio:active:backdrop { + radio:checked:backdrop, radio:active:backdrop { color: #000; } - .radio:disabled { + radio:disabled { color: gray; } - .radio:disabled:backdrop { + radio:disabled:backdrop { color: gray; } - .radio:indeterminate { + radio:indeterminate { -gtk-icon-source: -gtk-icontheme("radio-mixed-symbolic"); } - .radio:backdrop { + radio:backdrop { color: #000; } - .radio:backdrop:selected { + radio:backdrop:selected { color: #000; } +radiobutton radio, +checkbutton check { + min-width: 16px; + min-height: 16px; + margin: 0 2px 0 2px; } + radiobutton radio:only-child, + checkbutton check:only-child { + margin: 0; } + /************ * GtkScale * ************/