Skip to content

Commit 51713dc

Browse files
committed
fix notebook tabs bug from earlier today
1 parent a9f8251 commit 51713dc

1 file changed

Lines changed: 9 additions & 9 deletions

File tree

gtk-3.20/scss/widgets/_notebook.scss

Lines changed: 9 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -161,7 +161,7 @@
161161
transition: opacity .3s ease-in;
162162
}
163163

164-
> box {
164+
> box, > label {
165165
padding: 0 ($spacing * 3) ($spacing + 1); // top | left/right | bottom
166166
border-width: 2px;
167167
border-style: solid;
@@ -219,7 +219,7 @@
219219
border-bottom-width: 1px;
220220
transition: border-bottom-color .3s ease-out;
221221

222-
> box {
222+
> box, > label {
223223
padding: 0 ($spacing * 3) ($spacing + 1); // top | left/right | bottom
224224
}
225225

@@ -231,7 +231,7 @@
231231
border-bottom-color: $selected_bg_color;
232232
outline: none;
233233

234-
> box {
234+
> box, > label {
235235
border-bottom-color: $selected_bg_color;
236236
}
237237

@@ -254,7 +254,7 @@
254254
border-left-width: 1px;
255255
transition: border-left-color .3s ease-out;
256256

257-
> box {
257+
> box, > label {
258258
padding: ($spacing + 1) ($spacing * 3); // top | right | bottom | left
259259
}
260260

@@ -266,7 +266,7 @@
266266
border-left-color: $selected_bg_color;
267267
outline: none;
268268

269-
> box {
269+
> box, > label {
270270
border-left-color: $selected_bg_color;
271271
}
272272

@@ -289,7 +289,7 @@
289289
border-top-width: 1px;
290290
transition: border-top-color .3s ease-out;
291291

292-
> box {
292+
> box, > label {
293293
padding: ($spacing + 1) ($spacing * 3) 0; // top/bottom | left/right
294294
}
295295

@@ -301,7 +301,7 @@
301301
border-top-color: $selected_bg_color;
302302
outline: none;
303303

304-
> box {
304+
> box, > label {
305305
border-top-color: $selected_bg_color;
306306
}
307307

@@ -324,7 +324,7 @@
324324
border-right-width: 1px;
325325
transition: border-right-color .3s ease-out;
326326

327-
> box {
327+
> box, > label {
328328
padding: ($spacing + 1) ($spacing * 3); // top/bottom | left/right
329329
}
330330

@@ -336,7 +336,7 @@
336336
border-right-color: $selected_bg_color;
337337
outline: none;
338338

339-
> box {
339+
> box, > label {
340340
border-right-color: $selected_bg_color;
341341
}
342342

0 commit comments

Comments
 (0)