Change selected widget outline style

Fixes #10
2020-01-03 20:11:25 +01:00
parent 20d68218a6
commit 17f1ff4733
4 changed files with 20 additions and 20 deletions
@@ -46,11 +46,11 @@ $_switch_margin: if($_sizevariant=='default', 10px, 7px);
  // to the adwaita engine: using real CSS properties is faster,
  // and we don't use any outlines for now.

-  outline-color: gtkalpha(currentColor, 0.3);
-  outline-style: dashed;
-  outline-offset: -3px;
-  outline-width: 1px;
-  -gtk-outline-radius: $button-radius - 2;
+  outline-color: gtkalpha(currentColor, 0.07);
+  outline-style: solid;
+  outline-offset: -2px;
+  outline-width: 2px;
+  -gtk-outline-radius: 6px;

  -gtk-secondary-caret-color: $selected_bg_color
 }