/**************
 * header-bar *
 **************/

.header-bar {
    padding: 4px;
    border-width: 0;
    border-style: none;
    background-color: @bg_color;
}

.header-bar .button.text-button {
    padding: 4px;
}

.header-bar .button.image-button {
    padding: 6px;
}

.header-bar .title {
    font-weight: bold;
}

.header-bar .subtitle {
    font-size: smaller;
}

