Fixed the menu border.

Removed tooltips entirely.
Fiddled with the scrollbar and other bits.

diff --git a/gtk-3.0/widgets/menu.css b/gtk-3.0/widgets/menu.css
index 76fd0ee..7618ecf 100644 (file)
--- a/gtk-3.0/widgets/menu.css
+++ b/gtk-3.0/widgets/menu.css
@@ -1,3 +1,6 @@
+
+/* TODO: get rid of the 3d look here */
+

 menubar {
     background: @bg_color;
     color: @fg_color;
 menubar {
     background: @bg_color;
     color: @fg_color;


@@ -19,11 +22,14 @@ menu {
     border-right-color: @border_color_dark;
 }
 
     border-right-color: @border_color_dark;
 }
 

-

 menuitem {
     padding: 1px 6px 1px 6px;
 }
 
 menuitem {
     padding: 1px 6px 1px 6px;
 }
 

+.popup decoration {
+    padding: 0px;
+    border-width: 0px;
+}

 
 menu menuitem {
     padding: 1px;
 
 menu menuitem {
     padding: 1px;

diff --git a/gtk-3.0/widgets/popover.css b/gtk-3.0/widgets/popover.css
index 752a0be..6f0b086 100644 (file)
--- a/gtk-3.0/widgets/popover.css
+++ b/gtk-3.0/widgets/popover.css
@@ -28,3 +28,10 @@ toolbar.osd {
     border-radius: 0px;
     padding: 2em;
 }
     border-radius: 0px;
     padding: 2em;
 }

+
+/* fuck, doesn't work */
+popover {
+    animation: none;
+    transition: none;
+    transition-property: none;
+}

diff --git a/gtk-3.0/widgets/scrollbar.css b/gtk-3.0/widgets/scrollbar.css
index ed08d90..250fc94 100644 (file)
--- a/gtk-3.0/widgets/scrollbar.css
+++ b/gtk-3.0/widgets/scrollbar.css
@@ -7,18 +7,21 @@ scrolledwindow {
 }
 
 scrollbar {
 }
 
 scrollbar {

-    -GtkScrollbar-has-backward-stepper: true;
+    -GtkScrollbar-has-backward-stepper: false;

     -GtkScrollbar-has-forward-stepper: true;
     -GtkScrollbar-has-forward-stepper: true;

+    -GtkScrollbar-has-secondary-backward-stepper: true;
+    -GtkScrollbar-has-secondary-forward-stepper: false;

 
     background-color: @bg_color_halfblack;
     border-style: solid;
 
     background-color: @bg_color_halfblack;
     border-style: solid;

+    border-style: none;

     border-width: 1px;
     border-width: 1px;

-    padding: 1px;
+    padding: 0px;

     border-top-color: @border_color_dark;
     border-left-color: @border_color_dark;
     border-bottom-color: @border_color_light;
     border-right-color: @border_color_light;
     border-top-color: @border_color_dark;
     border-left-color: @border_color_dark;
     border-bottom-color: @border_color_light;
     border-right-color: @border_color_light;

-    margin: 1px 0px;
+    margin: 0px;

 }
 
 scrollbar slider {
 }
 
 scrollbar slider {


@@ -29,8 +32,10 @@ scrollbar slider {
     border-bottom-color: @border_color_dark;
     border-right-color: @border_color_dark;
     background-color: @bg_color;
     border-bottom-color: @border_color_dark;
     border-right-color: @border_color_dark;
     background-color: @bg_color;

-    min-width: 14px;
-    min-height: 14px;
+    min-width: 10px;
+    min-height: 10px;
+    padding: 0px;
+    margin: 2px;

 }
 
 scrollbar button {
 }
 
 scrollbar button {


@@ -41,9 +46,9 @@ scrollbar button {
     border-bottom-color: @border_color_dark;
     border-right-color: @border_color_dark;
     background-color: @bg_color;
     border-bottom-color: @border_color_dark;
     border-right-color: @border_color_dark;
     background-color: @bg_color;

-    padding: 2px;
-    min-width: 10px;
-    min-height: 10px;
+    padding: 0px;
+    min-width: 12px;
+    min-height: 12px;

 }
 
 
 }
 
 


@@ -52,7 +57,7 @@ scrollbar slider:active {
 }
 
 scrollbar through {
 }
 
 scrollbar through {

-    border: 0;
+    border-style: none;

 }
 
 scrollbar button:disabled {
 }
 
 scrollbar button:disabled {


@@ -80,4 +85,3 @@ scrollbar.horizontal button.up {
 scrollbar.horizontal button.down {
     -gtk-icon-source: url('assets/arrow_right.png');
 }
 scrollbar.horizontal button.down {
     -gtk-icon-source: url('assets/arrow_right.png');
 }

-

diff --git a/gtk-3.0/widgets/tooltip.css b/gtk-3.0/widgets/tooltip.css
index 21a2dde..3992f44 100644 (file)
--- a/gtk-3.0/widgets/tooltip.css
+++ b/gtk-3.0/widgets/tooltip.css
@@ -1,6 +1,15 @@
+
+tooltip {
+    opacity: 0;
+}
+

 tooltip.background {
     background-color: @tooltip_bg_color;
     color: @tooltip_fg_color;
     padding: 0;
     border-width: 1px;
 }
 tooltip.background {
     background-color: @tooltip_bg_color;
     color: @tooltip_fg_color;
     padding: 0;
     border-width: 1px;
 }

+
+tooltip decoration {
+    padding: 0px;
+}