/* You can edit the text in this window to change the
 * appearance of this Window.
 * Be careful, if you screw it up, nothing might be visible
 * anymore. :)
 */

/* This CSS resets all properties to their defaults values
 *    and overrides all user settings and the theme in use */
@import url("./gtk3.css");
@import url("./reset.css");
@import url("./cssview.css");

/* Get a nice background for the window */
.background {
  background-color: @theme_bg_color; /*alpha(#123851, 0.80); */ 
/*  background-image: linear-gradient(to left, transparent, rgba(255,255,255,.07) 50%, transparent 50%),
                    linear-gradient(to left, transparent, rgba(255,255,255,.13) 50%, transparent 50%),
                    linear-gradient(to left, transparent, transparent 50%, rgba(255,255,255,.17) 50%),
                    linear-gradient(to left, transparent, transparent 50%, rgba(255,255,255,.19) 50%);
		    */
/*  background-size: 29px, 59px, 73px, 109px;*/
}

    .button {
    background-image: -gtk-gradient(linear, left top, left bottom,
    from (shade(shade(@theme_bg_color, 1.02), 1.05)),
    to (shade(shade(@theme_bg_color, 1.02), 0.97)));

    border-radius: 2px;
    border-color: shade(shade(@theme_bg_color, 1.02), 0.8);
    border-style: solid;
    color: @theme_fg_color;
    }

    .button:active {
    background-image: -gtk-gradient(linear, left top, left bottom,
    from (shade(shade(@theme_bg_color, 0.85), 1.05)),
    to (shade(shade(@theme_bg_color, 0.85), 0.97)));

    border-color: shade(shade(@theme_bg_color, 0.85), 0.8);
    }

    .button:hover,
    .button:active:hover {
    background-image: -gtk-gradient(linear, left top, left bottom,
    from (shade(shade(@theme_bg_color, 1.07), 1.05)),
    to (shade(shade(@theme_bg_color, 1.07), 0.97)));

    border-color: shade(shade(@theme_bg_color, 1.07), 0.8);
    }

    .button:insensitive {
    background-image: -gtk-gradient(linear, left top, left bottom,
    from (shade(shade(@theme_bg_color, 0.95), 1.05)),
    to (shade(shade(@theme_bg_color, 0.95), 0.97)));

    border-color: shade(shade(@theme_bg_color, 0.95), 0.8);

    color: mix(@theme_fg_color, @theme_bg_color, 0.4);
    }


