src/terminal.common.css


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

/* Generic theme-independent CSS file */

terminal-window scrolledwindow undershoot.top,
terminal-window scrolledwindow undershoot.bottom,
terminal-window scrolledwindow overshoot.top,
terminal-window scrolledwindow overshoot.bottom
{
  background: none;
}

popover button.model
{
  padding-left: 16px;
  padding-right: 16px;
}

.disclosure-button
{
  padding-left: 4px;
  padding-right: 4px;
  min-width: 0;
}