[gnome-shell-extensions] windowsNavigator: improve the appearance of tooltips

[Giovanni Campagna <gcampagna src gnome org>]

commit 8bc650ae19008b646c28546e73b7796dc4d1024a
Author: Giovanni Campagna <gcampagna src gnome org>
Date:   Mon Feb 6 20:49:17 2012 +0100

    windowsNavigator: improve the appearance of tooltips
    
    Based on a patch by Simon Friis Vindum <simonfv mail com>

 extensions/windowsNavigator/extension.js   |    2 +-
 extensions/windowsNavigator/stylesheet.css |    2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/extensions/windowsNavigator/extension.js b/extensions/windowsNavigator/extension.js
index 58c1312..20185cb 100644
--- a/extensions/windowsNavigator/extension.js
+++ b/extensions/windowsNavigator/extension.js
@@ -224,7 +224,7 @@ function enable() {
     winInjections['updatePositions'] = injectToFunction(Workspace.WindowOverlay.prototype, 'updatePositions', function(cloneX, cloneY, cloneWidth, cloneHeight) {
         let textX = cloneX - 2;
         let textY = cloneY - 2;
-        this._text.set_position(Math.floor(textX), Math.floor(textY));
+        this._text.set_position(Math.floor(textX) + 5, Math.floor(textY) + 5);
         this._text.raise_top();
     });
 
diff --git a/extensions/windowsNavigator/stylesheet.css b/extensions/windowsNavigator/stylesheet.css
index 841a106..d5e404e 100644
--- a/extensions/windowsNavigator/stylesheet.css
+++ b/extensions/windowsNavigator/stylesheet.css
@@ -1,5 +1,5 @@
 .extension-windowsNavigator-window-tooltip {
-    color: #ff0000;
+    color: #fefefe;
     background: rgba(0,0,0,0.8);
     border: 1px solid rgba(128,128,128,0.40);
     border-radius: 10px;