summaryrefslogtreecommitdiff
path: root/desktop-themes/YaruOK/gtk-3.0/libhandy/_definitions.scss
diff options
context:
space:
mode:
authorMate <[email protected]>2021-06-09 07:52:21 +0200
committerraveit65 <[email protected]>2021-08-02 23:56:01 +0200
commit30c2a29a8b1bac3a45881257288dfeb5422db593 (patch)
tree14efc0d10c34a375156aefe9a9d73e6084e5e2bc /desktop-themes/YaruOK/gtk-3.0/libhandy/_definitions.scss
parent2fa0ad587cfaa69637c3dddc039aa8ea360a4ee3 (diff)
downloadmate-themes-30c2a29a8b1bac3a45881257288dfeb5422db593.tar.bz2
mate-themes-30c2a29a8b1bac3a45881257288dfeb5422db593.tar.xz
fix YaruOK case mismatch
Diffstat (limited to 'desktop-themes/YaruOK/gtk-3.0/libhandy/_definitions.scss')
-rw-r--r--desktop-themes/YaruOK/gtk-3.0/libhandy/_definitions.scss66
1 files changed, 0 insertions, 66 deletions
diff --git a/desktop-themes/YaruOK/gtk-3.0/libhandy/_definitions.scss b/desktop-themes/YaruOK/gtk-3.0/libhandy/_definitions.scss
deleted file mode 100644
index 9225bffb..00000000
--- a/desktop-themes/YaruOK/gtk-3.0/libhandy/_definitions.scss
+++ /dev/null
@@ -1,66 +0,0 @@
-//@import 'drawing';
-
-@function hdyalpha($c, $a) {
- @return unquote("alpha(#{$c}, #{$a})");
-}
-
-@function hdymix($c1, $c2, $r) {
- @return unquote("mix(#{$c1}, #{$c2}, #{$r})");
-}
-
-$leaflet_dimming: rgba(0, 0, 0, if($variant == 'light', 0.12, 0.24));
-$leaflet_border: rgba(0, 0, 0, if($variant == 'light', 0.05, 0.2));
-$leaflet_outline: rgba(255, 255, 255, if($variant == 'light', 0.2, 0.05));
-
-//@if $high_contrast {
-// $leaflet_border: $borders_color;
-// $leaflet_outline: transparent;
-//}
-
-@mixin background-shadow($direction) {
- background-image:
- linear-gradient($direction,
- rgba(0, 0, 0, if($variant == 'light', 0.05, 0.1)),
- rgba(0, 0, 0, if($variant == 'light', 0.01, 0.02)) 40px,
- rgba(0, 0, 0, 0) 56px),
- linear-gradient($direction,
- rgba(0, 0, 0, if($variant == 'light', 0.03, 0.06)),
- rgba(0, 0, 0, if($variant == 'light', 0.01, 0.02)) 7px,
- rgba(0, 0, 0, 0) 24px);
-}
-
-// Makes the corners of the given border rounded.
-// $border must be top, bottom, left, or right.
-@mixin rounded-border($border) {
- // The floors (top, bottom) and walls (left, right) of the corners matching
- // $border. This is needed to easily form floor-wall pairs regardless of
- // whether $border is a floor or a wall.
- $corners: (
- 'top': (('top'), ('left', 'right')),
- 'bottom': (('bottom'), ('left', 'right')),
- 'left': (('top', 'bottom'), ('left')),
- 'right': (('top', 'bottom'), ('right')),
- );
-
- @if not map-get($corners, $border) {
- @error "Unknown border type: #{$border}";
- }
-
- // Loop through the floors and walls of the corners of $border.
- @each $floor in nth(map-get($corners, $border), 1) {
- @each $wall in nth(map-get($corners, $border), 2) {
- border-#{$floor}-#{$wall}-radius: 8px;
- -gtk-outline-#{$floor}-#{$wall}-radius: 7px;
- }
- }
-}
-
-@mixin margin-start($margin) {
- &:dir(ltr) {
- margin-left: $margin;
- }
-
- &:dir(rtl) {
- margin-right: $margin;
- }
-}