Warning, /plasma/breeze-gtk/src/gtk3/widgets/_scale.scss is written in an unsupported language. File is not indexed.

0001 @charset "UTF-8";
0002 
0003 /************
0004  * GtkScale *
0005  ************/
0006 scale {
0007         padding: 12px;
0008         &.fine-tune {
0009                 &.trough {
0010                         margin: 8px;
0011                         border-radius: $r;
0012                 }
0013         }
0014 
0015         slider {
0016                 min-width: 16px;
0017                 min-height: 16px;
0018                 border: 1px solid gtkmix(gtk("@theme_bg_color"),gtk("@theme_button_foreground_normal"), 0.4);
0019                 border-radius: 50%;
0020                 box-shadow: 0.5px 0.5px 1px rgba(0, 0, 0, 0.125);
0021 
0022                 background: gtk("@theme_button_background_normal");
0023                 margin: -9px;
0024 
0025                 &:hover {
0026                         border-color: gtk("@theme_button_decoration_hover");
0027                         border-radius: 50%; // needed for double marks scales
0028 
0029                         &:backdrop {
0030                                 border-color: gtk(
0031                                         "@theme_button_decoration_hover_insensitive"
0032                                 );
0033                         }
0034                 }
0035 
0036                 &:focus {
0037                         border-color: gtk("@theme_button_decoration_focus");
0038                         border-radius: 50%; // needed for double marks scales
0039 
0040                         &:backdrop {
0041                                 border-color: gtk(
0042                                         "@theme_button_decoration_focus_insensitive"
0043                                 );
0044                         }
0045                 }
0046 
0047                 &:disabled {
0048                         border-style: solid; // needed for double marks scales or they'll get
0049                         border-radius: 50%; // overridden
0050                         background-color: gtk("@theme_button_background_insensitive");
0051                         opacity: 1;
0052                         border-color: gtk("@insensitive_borders");
0053                         &:backdrop {
0054                                 background-color: gtkalpha(
0055                                         gtk(
0056                                                 "@theme_button_background_backdrop_insensitive"
0057                                         ),
0058                                         100
0059                                 );
0060                                 border-color: gtk("@unfocused_insensitive_borders");
0061                         }
0062                 }
0063                 &:active {
0064                         box-shadow: none;
0065                         background-color: gtk("@theme_button_background_normal");
0066                         &:backdrop {
0067                                 background-color: gtk(
0068                                         "@theme_button_background_normal"
0069                                 );
0070                                 border-color: gtk(
0071                                         "@theme_button_decoration_focus_backdrop"
0072                                 );
0073                         }
0074                 }
0075                 &:backdrop {
0076                         background-color: gtk(
0077                                 "@theme_button_background_backdrop"
0078                         );
0079                         border-color: gtk("@unfocused_borders");
0080                 }
0081         }
0082 
0083         trough {
0084                 min-width: 4px;
0085                 min-height: 4px;
0086                 border: 1px solid;
0087                 border-radius: $r;
0088 
0089                 background: gtkoverlay(
0090                         gtk("@theme_bg_color"),
0091                         gtkalpha(gtk("@theme_button_foreground_normal"), 0.5*0.2)
0092                 );
0093 
0094                 border-color: gtkalpha(
0095                         gtk("@theme_button_foreground_normal"),
0096                         0.2
0097                 );
0098 
0099                 &:disabled, &.vertical:disabled {
0100                         background: gtkoverlayalpha(
0101                                 gtk("@theme_bg_color"),
0102                                 gtkalpha(gtk("@theme_button_foreground_normal"), 0.5*0.2),
0103                                 0.5
0104                         );
0105                         border-color: gtkalpha(
0106                                 gtk("@theme_button_foreground_normal"),
0107                                 0.2 * 0.5
0108                         );
0109                 }
0110         }
0111 
0112         highlight {
0113                 margin: -1px;
0114                 border-radius: $r;
0115                 background: gtkoverlay(
0116                         gtk("@theme_bg_color"),
0117                         gtkalpha(gtk("@theme_button_decoration_hover"), 0.5)
0118                 );
0119 
0120                 border: 1px solid gtk("@theme_button_decoration_hover");
0121 
0122                 &:disabled {
0123                         background: none;
0124                         border-color: transparent;
0125                 }
0126 
0127                 &:backdrop {
0128                         background: gtkoverlay(
0129                                 gtk("@theme_bg_color"),
0130                                 gtkalpha(gtk("@theme_unfocused_selected_bg_color"), 0.5)
0131                         );
0132 
0133                         border-color: gtk(
0134                                 "@theme_unfocused_selected_bg_color"
0135                         );
0136 
0137                         &:disabled {
0138                                 background: none;
0139                                 border-color: transparent;
0140                         }
0141                 }
0142         }
0143 
0144         $_marks_length: 8px;
0145         $_marks_distance: 1px;
0146 
0147         marks {
0148                 color: gtkalpha(
0149                         gtk("@theme_button_foreground_normal"),
0150                         0.2
0151                 );
0152                 font-feature-settings: "tnum";
0153         }
0154 
0155         label {
0156                 color: gtk("@theme_button_foreground_normal")
0157         }
0158 
0159         @each $scale_orient, $marks_class, $marks_pos, $marks_margin in (horizontal, top, top, bottom),
0160                                                                   (horizontal, bottom, bottom, top),
0161                                                                   (vertical, top, left, right),
0162                                                                   (vertical, bottom, right, left) {
0163                 &.#{$scale_orient} marks {
0164                         &.#{$marks_class} {
0165                                 margin-#{$marks_margin}: $_marks_distance;
0166                                 margin-#{$marks_pos}: -($_marks_distance + $_marks_length);
0167                         }
0168                 }
0169 
0170                 &.#{$scale_orient}.fine-tune marks {
0171                         &.#{$marks_class} {
0172                                 margin-#{$marks_margin}: $_marks_distance;
0173                                 margin-#{$marks_pos}: -($_marks_distance + $_marks_length - 3px);
0174                         }
0175                 }
0176         }
0177 
0178         &.horizontal {
0179                 indicator {
0180                         min-height: $_marks_length;
0181                         min-width: 1px;
0182                 }
0183 
0184                 &.fine-tune indicator { min-height: ($_marks_length - 3px); }
0185         }
0186 
0187         &.vertical {
0188                 indicator {
0189                         min-height: 1px;
0190                         min-width: $_marks_length;
0191                 }
0192 
0193                 &.fine-tune indicator { min-width: ($_marks_length - 3px); }
0194         }
0195 }