#minido-window {
    background: -gtk-gradient(linear,
			      center top,
			      center bottom,
			      from(@theme_bg_color),
			      to(shade(@theme_bg_color, 0.9)));
}

#minido-frame {
    border-color: @borders;
    border-width: 1px;
    border-style: solid;
}

#minido-input {
    padding: 6px;
    font: 11; /* Make relative when GTK 3.7.4 is in mainstream */
}

#minido-input selected {
    background: alpha(shade(@theme_bg_color, 0.9),0);
}

#minido-input inactive {
    color: @theme_unfocused_fg_color;
}
