2
@define-color terminal_bg #300a24;
4
vte-terminal.terminal-screen {
5
-TerminalScreen-background-darkness: 0.95;
6
background-color: @terminal_bg;
10
terminal-screen-container scrollbar:hover,
11
terminal-screen-container scrollbar:active {
12
background-color: alpha(@scrollbar_track_color, 0.4);
16
terminal-screen-container {
17
background-color: transparent;
20
notebook.terminal-notebook header {
21
background-color: @dark_bg_color;
26
notebook.terminal-notebook header.top tab,
27
notebook.terminal-notebook header.top tab:hover {
28
background-color: shade(@bg_color, 0.7);
29
border-width: 1px 1px 0px 1px;
30
border-radius: 8px 8px 0px 0px;
33
border-color: @dark_bg_color;
36
notebook.terminal-notebook header.top tab:checked {
37
background-color: @bg_color;
40
notebook.terminal-notebook tab button,
41
notebook.terminal-notebook tab button:hover {
42
background-color: transparent;
46
notebook.terminal-notebook > header > box,
47
notebook.terminal-notebook > header > box:hover {
51
notebook.terminal-notebook > header > box button,
52
notebook.terminal-notebook > header > box button:hover,
53
notebook.terminal-notebook > header > box button:hover:backdrop {
59
notebook.terminal-notebook > header > box > box > button:not(:last-child):hover,
60
notebook.terminal-notebook > header > box > box > button:not(:last-child):hover:backdrop,
61
notebook.terminal-notebook > header > box > box > button:not(:last-child) {
65
notebook.terminal-notebook > header > box button:hover,
66
notebook.terminal-notebook > header > box button:hover:backdrop {
67
color: shade (@bg_color, 0.9);
70
notebook.terminal-notebook > header > box button {
71
color: shade (@bg_color, 0.7);
74
notebook.terminal-notebook > header > box button:backdrop {
75
color: shade (@bg_color, 0.4);