.themes/FlatColor/gtk-3.20/widgets/header-bar.css


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47

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

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

headerbar title {
    font-weight: bold;
}

headerbar subtitle {
    font-size: smaller;
}

headerbar > stackswitcher > button {
    margin-right: 1px;
    border-radius: 0;
}

headerbar > stackswitcher > button:first-child {
    border-radius: 3px 0 0 3px;
}

headerbar > stackswitcher > button:last-child {
    border-radius: 0 3px 3px 0;
}

headerbar > stackswitcher > button.text-button {
    padding: 4px 20px 4px 20px;
}

headerbar > stackswitcher > button.image-button {
    padding: 6px 22px 6px 22px;
}

headerbar button.text-button {
    padding: 4px;
}

headerbar button.image-button {
    padding: 6px;
}