2022-11-04 08:27:47 +11:00
|
|
|
#top-bar {
|
|
|
|
background-color: #e5e5e5;
|
|
|
|
height: 50px;
|
|
|
|
width: 100%;
|
|
|
|
}
|
2022-11-05 04:52:35 +11:00
|
|
|
|
2022-11-12 03:09:53 +11:00
|
|
|
#param-sliders .param-label {
|
|
|
|
width: 140px;
|
|
|
|
height: 30px;
|
|
|
|
child-top: 1s;
|
|
|
|
child-right: 10px;
|
|
|
|
child-bottom: 1s;
|
|
|
|
child-left: 1s;
|
|
|
|
}
|
|
|
|
|
2022-11-05 04:52:35 +11:00
|
|
|
/* The safe mode button reuses the param-button element's style with a different class */
|
|
|
|
param-button.safe-mode {
|
|
|
|
background-color: #fff28000;
|
|
|
|
transition: background-color 0.1 0;
|
|
|
|
}
|
|
|
|
param-button.safe-mode:hover {
|
|
|
|
background-color: #fff28020;
|
|
|
|
transition: background-color 0.1 0;
|
|
|
|
}
|
|
|
|
param-button.safe-mode:checked {
|
|
|
|
background-color: #fff280;
|
|
|
|
transition: background-color 0.1 0;
|
|
|
|
}
|
2022-11-08 01:17:16 +11:00
|
|
|
|
|
|
|
#automation-precision {
|
|
|
|
/* Can't use width: auto here, but we'll try to roughly match the padding of the top bar buttons */
|
|
|
|
width: 170px;
|
|
|
|
}
|