Ubuntu Pastebin

Paste from will at Tue, 5 Apr 2016 16:41:59 +0000

Download as text
 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
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
/*
You can type here any CSS rule recognised by GTK+.
You can temporarily disable this custom CSS by clicking on the “Pause” button above.

Changes are applied instantly and globally, for the whole application.
*/


*{
-GtkNotebook-tab-overlap: 0;
}

TerminalNotebook .notebook.header {
background-color: @dark_bg_color;
border: none;
}


TerminalNotebook tab {
border-image: none;
border-style: solid;
border-color: @dark_bg_color;
}

/* Need to duplicate this for other tab locations: bottom, right, etc */
TerminalNotebook tab.top {
border-width: 1px 1px 0px 1px;
border-radius:  8px 8px 0px 0px;
}

/* This seems like a hacky way to match this box.  It seems to think it's a tab but there doesnt seem to be a way to address it other than this.  Perhaps I can get at it through the widget name?*/
/* Looks like this is the "ACTION" box which rather handily has it's spacing and border in terminal-notebook.c. */

TerminalNotebook GtkBox.vertical {
Xbackground-color: shade(@bg_color,0.8);
Xbackground-color: red;
border-radius: 8px 8px 0 0px;
Xpadding: 4px 6px 2px 6px;
border-image: none;
border-width: 1px 1px 0px 1px;
}

TerminalNotebook GtkBox.vertical .button{
background-color: transparent;
padding: 2px;
border: none;
}

TerminalNotebook .button {
padding: 1px;
}

TerminalTabLabel .button {
background-color: transparent;
}

TerminalTabLabel .button:hover {
border-color: @dark_bg_color;
border-image: none;
border-radius: 5px;
}


.notebook:backdrop tab:active {background-color: @bg_color;} /* backdrop_bg_color seems to be undef*/
Download as text