2019-05-30 15:00:26 +00:00
|
|
|
.window-frame,
|
|
|
|
.window-frame:backdrop {
|
2018-02-09 20:05:20 +00:00
|
|
|
box-shadow: none;
|
2017-02-20 23:39:22 +00:00
|
|
|
border-style: none;
|
|
|
|
margin: 0;
|
|
|
|
border-radius: 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
.titlebar {
|
|
|
|
border-radius: 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
window decoration {
|
2019-05-30 15:00:26 +00:00
|
|
|
margin: 0;
|
2017-02-20 23:39:22 +00:00
|
|
|
}
|
|
|
|
|
2019-05-30 15:00:26 +00:00
|
|
|
VteTerminal,
|
|
|
|
vte-terminal {
|
|
|
|
padding: 5px;
|
2020-03-29 19:16:35 +00:00
|
|
|
padding-bottom: 1px;
|
2017-09-25 15:10:28 +00:00
|
|
|
}
|
|
|
|
|
2018-05-26 20:06:45 +00:00
|
|
|
.termite {
|
2019-05-30 15:00:26 +00:00
|
|
|
padding: 2px 10px;
|
2018-05-26 20:06:45 +00:00
|
|
|
}
|
|
|
|
|
2018-07-21 04:46:57 +00:00
|
|
|
.window-frame.csd.popup {
|
|
|
|
box-shadow: 0 1px 2px rgba(0, 0, 0, 0.2), 0 0 0 1px rgba(0, 0, 0, 0.13);
|
|
|
|
}
|
|
|
|
|
|
|
|
.header-bar {
|
|
|
|
background-image: none;
|
|
|
|
background-color: #ededed;
|
|
|
|
box-shadow: none;
|
|
|
|
}
|
2018-08-12 05:26:07 +00:00
|
|
|
|
2018-07-21 04:46:57 +00:00
|
|
|
/* You may want to use this if you don't like the double title.
|
|
|
|
GtkLabel.title {
|
|
|
|
opacity: 0;
|
|
|
|
}*/
|
|
|
|
|
2017-09-25 15:10:28 +00:00
|
|
|
headerbar.default-decoration {
|
2019-05-30 15:00:26 +00:00
|
|
|
padding-top: 0;
|
|
|
|
padding-bottom: 0;
|
|
|
|
min-height: 0;
|
|
|
|
font-size: 0.8em;
|
2017-09-25 15:10:28 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
headerbar.default-decoration button.titlebutton {
|
2019-05-30 15:00:26 +00:00
|
|
|
padding: 0;
|
|
|
|
min-height: 0;
|
2018-07-21 04:46:57 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/* Remove dotted lines from GTK+ 3 applications */
|
2019-05-30 15:00:26 +00:00
|
|
|
undershoot.top,
|
|
|
|
undershoot.right,
|
|
|
|
undershoot.bottom,
|
|
|
|
undershoot.left {
|
|
|
|
background-image: none;
|
|
|
|
}
|