Improved groups

2017-10-18 18:18:15 +02:00
parent 217e35f752
commit 6a92dc23bb
8 changed files with 62 additions and 17 deletions
--- a/styles/include/mixins.scarlet
+++ b/styles/include/mixins.scarlet
@ -26,7 +26,7 @@ mixin noise-strong
 mixin ui-element
 	border 1px solid ui-border-color
 	background ui-background
-	border-radius 3px
+	border-radius ui-element-border-radius
 	default-transition
 	:hover
 		border-color ui-hover-border-color