css: drop now unused styles

This commit is contained in:
Peter Eisenmann
2022-04-18 08:44:58 +02:00
parent 9b5c14bb3f
commit 5d016014bc

View File

@@ -1,31 +1,7 @@
/*
.top-gradient {
background-image: linear-gradient(to bottom, @theme_bg_color, alpha(@theme_bg_color, 0) 100%);
}
.bottom-gradient {
background-image: linear-gradient(to top, @theme_bg_color, alpha(@theme_bg_color, 0) 100%);
}
*/
scrolledwindow.scrollbar > scrollbar > range > trough {
background: 0;
}
scrollable-box>trough {
background: 0;
margin-right:0px;
margin-left:0px;
}
.scrollable-box {
/*background-color: @content_view_bg;*/
border: 1px;
border-color: @borders;
border-radius: 12px;
border-style: solid;
}
.terminal-box {
background-color: #000;
}