diff options
Diffstat (limited to '')
| -rw-r--r-- | src/terminal.common.css | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/src/terminal.common.css b/src/terminal.common.css new file mode 100644 index 0000000..4c57726 --- /dev/null +++ b/src/terminal.common.css @@ -0,0 +1,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; +} |