From f12edc2d896444735d45b034175e5a6bfef1b497 Mon Sep 17 00:00:00 2001
From: Lapo Calamandrei <calamandrei@gmail.com>
Date: Mon, 7 Jul 2014 14:26:58 +0200
Subject: [PATCH] Adwaita: minor sass changes.

Made _button_border_color($c) mixin in _button_border($c) fuction.
---
 gtk/resources/theme/Adwaita/_drawing.scss | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/gtk/resources/theme/Adwaita/_drawing.scss b/gtk/resources/theme/Adwaita/_drawing.scss
index ce8ec2b65b..1b7562e029 100644
--- a/gtk/resources/theme/Adwaita/_drawing.scss
+++ b/gtk/resources/theme/Adwaita/_drawing.scss
@@ -78,7 +78,7 @@ $widget_edge: 0 1px $borders_edge; //outer hilight "used" on
 
 // buttons
 
-@mixin _button_border_color ($c) { border-color: darken($c,25%); } // colored buttons want the border form the base color
+@function _border_color ($c) { @return darken($c,25%); } // colored buttons want the border form the base color
 
 @mixin _button_text_shadow ($tc:$fg_color, $bg:$bg_color) {
 //
@@ -134,7 +134,7 @@ $widget_edge: 0 1px $borders_edge; //outer hilight "used" on
                                   darken($c,5%)
                                   );
 
-    @if $c!=$bg_color { @include _button_border_color($c); }
+    @if $c!=$bg_color { border-color: _border_color($c); }
     @else { border-color: $borders_color; }
 
     @include _button_text_shadow($tc,$c);
@@ -149,7 +149,7 @@ $widget_edge: 0 1px $borders_edge; //outer hilight "used" on
   // hovered button
   //
     color: $tc;
-    @if $c!=$bg_color { @include _button_border_color($c); }
+    @if $c!=$bg_color { border-color: _border_color($c); }
     @else { border-color: $borders_color; }
     background-image: linear-gradient(to bottom,
                                       lighten($c,14%),
@@ -168,7 +168,7 @@ $widget_edge: 0 1px $borders_edge; //outer hilight "used" on
   // pushed button
   //
     color: $tc;
-    @if $c!=$bg_color { @include _button_border_color($c); }
+    @if $c!=$bg_color {border-color: _border_color($c); }
     @else { border-color: $borders_color; }
     @if $variant == 'light' {
       background-image: linear-gradient(to bottom,
@@ -323,7 +323,7 @@ $widget_edge: 0 1px $borders_edge; //outer hilight "used" on
                                   );
   }
 
-  @if $c!=$bg_color { @include _button_border_color($c); }
+  @if $c!=$bg_color { border-color: _border_color($c); }
   @else { border-color: $borders_color; }
   
   @if $noedge==false {