Add new gnome shell dark/light themes

src/themes/Kali/sass/Makefile

@@ -4,7 +4,7 @@ THEMES_DIR=../../../../share/themes/
 .PHONY: install clean
 
 build:
-	for scss in gtk*.scss ; \
+	for scss in *.scss ; \
 	do \
 		echo ; \
 		echo Generating $${scss%.scss}.css ; \
@@ -13,9 +13,11 @@ build:
 	
 	mkdir -p $(THEMES_DIR)/Kali-Light/gtk-3.0/applications
 	mkdir -p $(THEMES_DIR)/Kali-Dark/gtk-3.0/applications
+	mkdir -p $(THEMES_DIR)/Kali-Light/gnome-shell
+	mkdir -p $(THEMES_DIR)/Kali-Dark/gnome-shell
 	
-	cp -r applications/* $(THEMES_DIR)/Kali-Light/gtk-3.0/applications
-	cp -r applications/* $(THEMES_DIR)/Kali-Dark/gtk-3.0/applications
+	cp -r gtk-sass/applications/* $(THEMES_DIR)/Kali-Light/gtk-3.0/applications
+	cp -r gtk-sass/applications/* $(THEMES_DIR)/Kali-Dark/gtk-3.0/applications
 	
 	find $(THEMES_DIR)/Kali-*/gtk-3.0/applications \
 			! \( -type d -or -name "*.css" -or -name "*.scss" \) \
@@ -24,6 +26,8 @@ build:
 	cp gtk.css $(THEMES_DIR)/Kali-Light/gtk-3.0/gtk.css
 	cp gtk-dark.css $(THEMES_DIR)/Kali-Light/gtk-3.0/gtk-dark.css
 	cp gtk-dark.css $(THEMES_DIR)/Kali-Dark/gtk-3.0/gtk.css
+	cp gnome-shell.css $(THEMES_DIR)/Kali-Light/gnome-shell/gnome-shell.css
+	cp gnome-shell-dark.css $(THEMES_DIR)/Kali-Dark/gnome-shell/gnome-shell.css
 
 clean:
 	-rm *.css

src/themes/Kali/sass/gnome-shell-dark.scss

@@ -0,0 +1,6 @@
+$variant: 'dark';
+
+@import 'gtk-sass/_colors'; //use gtk colors
+@import 'gnome-shell-sass/_drawing';
+@import 'gnome-shell-sass/_common';
+@import 'gnome-shell-sass/_extensions';

src/themes/Kali/sass/gnome-shell-sass/_drawing.scss

@@ -0,0 +1,202 @@
+// Drawing mixins
+
+// generic drawing of more complex things
+
+@function _widget_edge($c:$borders_edge) {
+// outer highlight "used" on most widgets
+  @return 0 1px $c;
+}
+
+// provide font size in rem, with px fallback
+@mixin fontsize($size: 24, $base: 16) {
+  font-size: round($size) + pt;
+  //font-size: ($size / $base) * 1rem;
+}
+
+@mixin _shadows($shadow1, $shadow2:none, $shadow3:none, $shadow4:none) {
+//
+// Helper function to stack up to 4 box-shadows;
+//
+  @if $shadow4!=none { box-shadow: $shadow1, $shadow2, $shadow3, $shadow4; }
+  @else if $shadow3!=none { box-shadow: $shadow1, $shadow2, $shadow3; }
+  @else if $shadow2!=none { box-shadow: $shadow1, $shadow2; }
+  @else { box-shadow: $shadow1; }
+}
+
+// entries
+
+@mixin entry($t, $fc:$selected_bg_color, $edge: $borders_edge) {
+//
+// Entries drawing function
+//
+// $t: entry type
+// $fc: focus color
+// $edge: set to none to not draw the bottom edge or specify a color to not
+//        use the default one
+//
+// possible $t values:
+// normal, focus, insensitive
+//
+
+  @if $t==normal {
+    background-color: $base_color;
+    border-color: $borders_color;
+
+  }
+  @if $t==focus {
+    border-color: if($fc==$selected_bg_color,
+                     $selected_borders_color,
+                     darken($fc,35%));
+  }
+  @if $t==hover { }
+  @if $t==insensitive {
+    color: $insensitive_fg_color;
+    border-color: $insensitive_bg_color;
+    box-shadow: none;
+  }
+}
+
+// buttons
+
+@function _border_color ($c) { @return darken($c,25%); } // colored buttons want
+                                                         // the border form the
+                                                         // base color
+
+@function _text_shadow_color ($tc:$fg_color, $bg:$bg_color) {
+//
+// calculate the color of text shadows
+//
+// $tc is the text color
+// $bg is the background color
+//
+  $_lbg: lightness($bg)/100%;
+  @if lightness($tc)<50% { @return transparentize(white,1-$_lbg/($_lbg*1.3)); }
+  @else { @return transparentize(black,$_lbg*0.8); }
+}
+
+@function _button_hilight_color($c) {
+//
+// calculate the right top hilight color for buttons
+//
+// $c: base color;
+//
+  @if lightness($c)>90% { @return white; }
+  @else if lightness($c)>80% { @return transparentize(white, 0.3); }
+  @else if lightness($c)>50% { @return transparentize(white, 0.5); }
+  @else if lightness($c)>40% { @return transparentize(white, 0.7); }
+  @else { @return transparentize(white, 0.9); }
+}
+
+@mixin _button_text_shadow ($tc:$fg_color, $bg:$bg_color) {
+//
+// helper function for the text emboss effect
+//
+// $tc is the optional text color, not the shadow color
+//
+// TODO: this functions needs a way to deal with special cases
+//
+
+  $_shadow: _text_shadow_color($tc, $bg);
+
+  @if lightness($tc)<50% {
+    text-shadow: 0 1px $_shadow;
+    icon-shadow: 0 1px $_shadow;
+  }
+  @else {
+    text-shadow: 0 -1px $_shadow;
+    icon-shadow: 0 -1px $_shadow;
+  }
+}
+
+@mixin button($t, $c:$bg_color, $tc:$fg_color, $edge: $borders_edge) {
+//
+// Button drawing function
+//
+// $t:    button type,
+// $c:    base button color for colored* types
+// $tc:   optional text color for colored* types
+// $edge: set to none to not draw the bottom edge or specify a color to not
+//        use the default one
+//
+// possible $t values:
+// normal, hover, active, insensitive, insensitive-active,
+// backdrop, backdrop-active, backdrop-insensitive, backdrop-insensitive-active,
+// osd, osd-hover, osd-active, osd-insensitive, osd-backdrop, undecorated
+//
+
+  $_hilight_color: _button_hilight_color($c);
+  $_button_edge: if($edge == none, none, _widget_edge($edge));
+  $_blank_edge: if($edge == none, none, _widget_edge(transparentize($edge,1)));
+  $_button_shadow: 0 1px 2px transparentize($shadow_color, 0.03);
+
+  @if $t==normal {
+  //
+  // normal button
+  //
+
+    color: $tc;
+    background-color: $c;
+    border-color: $borders_color;
+    box-shadow: $_button_shadow;
+    text-shadow: 0 1px black;
+    icon-shadow: 0 1px black;
+  }
+  @if $t==focus {
+  //
+  // focused button
+  //  
+    color: $tc;
+    text-shadow: 0 1px black;
+    icon-shadow: 0 1px black;
+    box-shadow: inset 0px 0px 0px 2px $selected_bg_color;
+    //border-color: $selected_bg_color;
+  }
+
+  @else if $t==hover {
+  //
+  // active osd button
+  //
+    color: $tc;
+    border-color: $borders_color;
+    background-color: $c;
+    box-shadow: $_button_shadow;
+    text-shadow: 0 1px black;
+    icon-shadow: 0 1px black;
+
+  }
+  @else if $t==active {
+  //
+  // active osd button
+  //
+    color: $tc;
+    border-color: $borders_color;
+    background-color: $c;
+    text-shadow: none;
+    icon-shadow: none;
+    box-shadow: none;
+  }
+  @else if $t==insensitive {
+
+    color: $insensitive_fg_color;
+    border-color: $insensitive_borders_color;
+    background-color: $insensitive_bg_color;
+    box-shadow: none;
+    text-shadow: none;
+    icon-shadow: none;
+  }
+  @else if $t==undecorated {
+  //
+  // reset
+  //
+    border-color: transparent;
+    background-color: transparent;
+    background-image: none;
+
+    @include _shadows(inset 0 1px transparentize(white,1),
+                      $_blank_edge);
+
+    text-shadow: none;
+    icon-shadow: none;
+  }
+}
+

src/themes/Kali/sass/gnome-shell-sass/_extensions.scss

@@ -0,0 +1 @@
+@import 'extensions/workspace-indicator';

src/themes/Kali/sass/gnome-shell-sass/extensions/workspace-indicator.scss

@@ -0,0 +1,10 @@
+.panel-workspace-indicator {
+  box-shadow: inset 0 0 0 100px white; // Dirty trick to override hardcoded background color
+  color: black;
+  border-radius: 3px;
+}
+
+#panel:overview .panel-workspace-indicator {
+  box-shadow: inset 0 0 0 100px black;
+  color: white;
+}

src/themes/Kali/sass/gnome-shell.scss

@@ -0,0 +1,6 @@
+$variant: 'light';
+
+@import 'gtk-sass/_colors'; //use gtk colors
+@import 'gnome-shell-sass/_drawing';
+@import 'gnome-shell-sass/_common';
+@import 'gnome-shell-sass/_extensions';

src/themes/Kali/sass/gtk-dark.scss

@@ -1,7 +1,7 @@
 $variant: 'dark';
 
-@import 'colors';
-@import 'drawing';
-@import 'common';
-@import 'applications';
-@import 'colors-public';
+@import 'gtk-sass/_colors';
+@import 'gtk-sass/_drawing';
+@import 'gtk-sass/_common';
+@import 'gtk-sass/_applications';
+@import 'gtk-sass/_colors-public';

src/themes/Kali/sass/gtk-sass/_colors.scss

@@ -38,11 +38,12 @@ $osd_bg_color: if($variant == 'light', #272a34, darken(#272a34, 10%));
 $osd_insensitive_bg_color: transparentize(mix($osd_fg_color, opacify($osd_bg_color, 1), 10%), 0.5);
 $osd_insensitive_fg_color: mix($osd_fg_color, opacify($osd_bg_color, 1), 50%);
 $osd_borders_color: if($variant == 'light', darken($osd_bg_color, 20%), lighten($osd_bg_color, 20%));
+$osd_outer_borders_color: transparentize(white, 0.9);
 
 $sidebar_bg_color: mix($bg_color, $base_color, 50%);
 $base_hover_color: transparentize($fg_color, 0.95);
 
-$tooltip_borders_color: transparentize(white, 0.9);
+$tooltip_borders_color: $osd_outer_borders_color;
 $shadow_color: transparentize(black, 0.9);
 
 $drop_target_color: #0a814b;

src/themes/Kali/sass/gtk.scss

@@ -6,8 +6,8 @@
 
 $variant: 'light';
 
-@import 'colors';
-@import 'drawing';
-@import 'common';
-@import 'applications';
-@import 'colors-public';
+@import 'gtk-sass/_colors';
+@import 'gtk-sass/_drawing';
+@import 'gtk-sass/_common';
+@import 'gtk-sass/_applications';
+@import 'gtk-sass/_colors-public';