/* Shrink title bars */

.default-decoration {
    min-height: 0px;
    padding: 0px;
}

.default-decoration .titlebutton {
    min-height: 0px;
    padding: 0px;
}