Differential D22877 Diff 62907 src/gtk3/widgets/_misc.scss

Changeset View

Standalone View

View Options

src/gtk3/widgets/_misc.scss

1@charset "UTF-8"; 1​@charset "UTF-8";
2 2​
3/******** 3​/********
4 * Misc * 4​ * Misc *
5 ********/ 5​ ********/
6 6​
7/**************** 7​/****************
8* Print dialog * 8​* Print dialog *
9*****************/ 9​*****************/
10printdialog { 10​printdialog {
11 paper { 11​ paper {
12 color: w_color(text); 12​ color: gtk("@theme_fg_color");
13 border: 1px solid $border_color; 13​ border: 1px solid gtk("@borders");
14 background: white; 14​ background: white;
15 padding: 0; 15​ padding: 0;
16 16​
17 &:backdrop { 17​ &:backdrop {
18 color: backdrop(w_color(text)); 18​ color: gtk("@theme_unfocused_fg_color");
19 border-color: backdrop($border_color); 19​ border-color: gtk("@unfocused_borders");
20 background: backdrop(white); 20​ background: gtk("@print_paper_backdrop");
21 } 21​ }
22 } 22​ }
23 23​
24 .dialog-action-box { margin: 12px; } 24​ .dialog-action-box { margin: 12px; }
25} 25​}
26 26​
27/********** 27​/**********
28* Frames * 28​* Frames *
29**********/ 29​**********/
30frame > border, 30​frame > border,
31.frame { 31​.frame {
32 box-shadow: none; 32​ box-shadow: none;
33 margin: 0; 33​ margin: 0;
34 padding: 0; 34​ padding: 0;
35 border-radius: 0; 35​ border-radius: 0;
36 border: 1px solid $border_color; 36​ border: 1px solid gtk("@borders");
37 37​
38 &.flat { border-style: none; } 38​ &.flat { border-style: none; }
39 39​
40 &:backdrop { border-color: backdrop($border_color); } 40​ &:backdrop { border-color: gtk("@unfocused_borders"); }
41} 41​}
42 42​
43actionbar > revealer > box { 43​actionbar > revealer > box {
44 padding: 6px; 44​ padding: 6px;
45 border-top: 1px solid $border_color; 45​ border-top: 1px solid gtk("@borders");
46 46​
47 &:backdrop { border-color: backdrop($border_color); } 47​ &:backdrop { border-color: gtk("@unfocused_borders"); }
48} 48​}
49 49​
50scrolledwindow { 50​scrolledwindow {
51 viewport.frame { // avoid double borders when viewport inside scrolled window 51​ viewport.frame { // avoid double borders when viewport inside scrolled window
52 border-style: none; 52​ border-style: none;
53 } 53​ }
54 54​
55 junction { // the small square between two scrollbars 55​ junction { // the small square between two scrollbars
56 border-color: transparent; 56​ border-color: transparent;
57 background-color: transparent; 57​ background-color: transparent;
58 background-image: none; 58​ background-image: none;
59 } 59​ }
60} 60​}
61 61​
62//vbox and hbox separators 62​//vbox and hbox separators
63separator { 63​separator {
64 background: $border_color; 64​ background: gtk("@borders");
65 min-width: 1px; 65​ min-width: 1px;
66 min-height: 1px; 66​ min-height: 1px;
67} 67​}
68 68​
69/************* 69​/*************
70* Expanders * 70​* Expanders *
71*************/ 71​*************/
72 72​
73expander { 73​expander {
74 arrow { 74​ arrow {
75 min-width: 16px; 75​ min-width: 16px;
76 min-height: 16px; 76​ min-height: 16px;
77 -gtk-icon-source: -gtk-icontheme('pan-end-symbolic'); 77​ -gtk-icon-source: -gtk-icontheme('pan-end-symbolic');
78 &:dir(rtl) { -gtk-icon-source: -gtk-icontheme('pan-start-symbolic');} 78​ &:dir(rtl) { -gtk-icon-source: -gtk-icontheme('pan-start-symbolic');}
79 &:hover { color: lighten(w_color(text),30%); } //only lightens the arrow 79​ &:hover { color: gtkshade(gtk("@theme_fg_color"),1.3); } //only lightens the arrow
80 &:checked { -gtk-icon-source: -gtk-icontheme('pan-down-symbolic'); } 80​ &:checked { -gtk-icon-source: -gtk-icontheme('pan-down-symbolic'); }
81 } 81​ }
82} 82​}
83 83​
84/********* 84​/*********
85* Paned * 85​* Paned *
86*********/ 86​*********/
87 87​
88paned { 88​paned {
89 > separator { 89​ > separator {
90 min-width: 1px; 90​ min-width: 1px;
91 min-height: 1px; 91​ min-height: 1px;
92 -gtk-icon-source: none; // defeats the ugly default handle decoration 92​ -gtk-icon-source: none; // defeats the ugly default handle decoration
93 border-style: none; // just to be sure 93​ border-style: none; // just to be sure
94 background-color: transparent; 94​ background-color: transparent;
95 // workaround, using background istead of a border since the border will get rendered twice (?) 95​ // workaround, using background istead of a border since the border will get rendered twice (?)
96 background-image: image($border_color); 96​ background-image: image(gtk("@borders"));
97 background-size: 1px 1px; 97​ background-size: 1px 1px;
98 98​
99 //&:selected { background-image: image($selected_bg_color); } // FIXME is this needed? 99​ //&:selected { background-image: image($selected_bg_color); } // FIXME is this needed?
100 100​
101 &:backdrop { background-image: image(backdrop($border_color)); } 101​ &:backdrop { background-image: image(gtk("@unfocused_borders")); }
102 102​
103 &.wide { 103​ &.wide {
104 min-width: 5px; 104​ min-width: 5px;
105 min-height: 5px; 105​ min-height: 5px;
106 background-color: w_color(normal); 106​ background-color: gtk("@theme_bg_color");
107 background-image: image($border_color), image($border_color); 107​ background-image: image(gtk("@borders")), image(gtk("@borders"));
108 background-size: 1px 1px, 1px 1px; 108​ background-size: 1px 1px, 1px 1px;
109 109​
110 &:backdrop { 110​ &:backdrop {
111 background-color: backdrop(w_color(normal)); 111​ background-color: gtk("@theme_unfocused_bg_color");
112 background-image: image(backdrop($border_color)), 112​ background-image: image(gtk("@unfocused_borders")),
113 image(backdrop($border_color)); 113​ image(gtk("@unfocused_borders"));
114 } 114​ }
115 } 115​ }
116 } 116​ }
117 117​
118 &.horizontal > separator { 118​ &.horizontal > separator {
119 background-repeat: repeat-y; 119​ background-repeat: repeat-y;
120 120​
121 &:dir(ltr) { 121​ &:dir(ltr) {
▲ Show 20 Lines • Show All 53 Lines • Show Last 20 Lines