Files
DemonEditor/app/ui/style.css

112 lines
1.5 KiB
CSS
Raw Normal View History

2022-02-27 09:03:39 +03:00
* {
-GtkDialog-action-area-border: 6;
}
#digit-entry {
2020-04-22 09:53:06 +03:00
border-color: Red;
2019-10-29 13:39:11 +03:00
}
#status-bar-button {
2021-05-19 13:47:06 +03:00
padding-top: 1px;
padding-bottom: 1px;
padding-left: 3px;
padding-right: 3px;
2019-10-29 13:39:11 +03:00
margin: 1px;
}
2020-04-22 09:53:06 +03:00
2022-08-12 09:14:13 +03:00
#task-button {
padding: 0;
}
2023-01-19 21:04:53 +03:00
#header-button {
padding-top: 0;
padding-bottom: 0;
}
#header-entry {
min-height: 0;
}
2023-01-18 18:52:54 +03:00
#header-stack-switcher > button {
2022-03-06 12:22:39 +03:00
padding-top: 0;
padding-bottom: 0;
2022-02-23 14:22:29 +03:00
}
2023-01-14 23:02:24 +03:00
buttonbox {
padding: 0;
}
2020-11-19 15:01:07 +03:00
paned > separator {
background-repeat: no-repeat;
background-position: center;
2022-02-23 14:22:29 +03:00
}
paned.horizontal > separator {
2020-11-19 15:01:07 +03:00
background-size: 2px 24px;
}
2022-02-23 14:22:29 +03:00
paned.vertical > separator {
background-size: 24px 2px;
}
.red-button {
2020-11-21 15:09:32 +03:00
background-image: none;
background-color: red;
}
.green-button {
2020-11-21 15:09:32 +03:00
background-image: none;
background-color: green;
}
.yellow-button {
2020-11-21 15:09:32 +03:00
background-image: none;
background-color: yellow;
}
.blue-button {
2020-11-21 15:09:32 +03:00
background-image: none;
background-color: blue;
}
2020-11-19 15:01:07 +03:00
.time-entry {
padding: 0px;
margin: 0px;
}
2020-04-22 09:53:06 +03:00
.group {}
.group :first-child {
border-top-right-radius: 0;
border-bottom-right-radius: 0;
}
.group :last-child {
border-top-left-radius: 0;
border-bottom-left-radius: 0;
2020-11-21 15:09:32 +03:00
border-left-width: 0;
2020-04-22 09:53:06 +03:00
}
.group :not(:first-child):not(:last-child) {
border-radius: 0;
border-left-width: 0;
2020-11-21 15:09:32 +03:00
border-right-width: 1px;
}
.stack-switcher > button > label {
2021-10-23 19:25:19 +03:00
padding-left: 5px;
padding-right: 5px;
min-width: 50px;
}
.stack-switcher > button.text-button {
2021-10-23 19:25:19 +03:00
padding-left: 5px;
padding-right: 5px;
min-width: 50px;
}
.playback {
background-color: #000000;
color: #ffffff;
}