Change the tabs bar height in guake terminal

Question

I would like to decrease the tabs bar height in guake terminal.

As said in this post, this is possible in gnome terminal by editing ~/.config/gtk-3.0/gtk.css. Is there a similar way to achieve this in guake terminal?

Answer 1

I found the answer in this git post. All I did is append the css file in ~/.config/gtk-3.0/gtk.css with the following:

#guake-terminal {
  font-size: 11px;
}

#guake-terminal header box button,
#guake-terminal header box button:hover,
#guake-terminal header box button:hover:backdrop {
    margin-bottom: -100px; /*this is the line that makes buttons disappear.*/
    background: inherit;
    border: inherit;
    padding: inherit;
}

#guake-terminal header tabs tab {
    padding: 0 10px 0 10px;
    margin: 0 0 0 0;
}

Note that lines beggining with # are not comments in this case.