120 lines
1.8 KiB
Plaintext
120 lines
1.8 KiB
Plaintext
/* Workers Modal Stylesheet */
|
|
|
|
Screen {
|
|
background: $surface;
|
|
color: $text;
|
|
}
|
|
|
|
#workers-container {
|
|
width: 100%;
|
|
height: 100%;
|
|
layout: vertical;
|
|
background: $panel;
|
|
}
|
|
|
|
#workers-title-bar {
|
|
dock: top;
|
|
height: 3;
|
|
layout: horizontal;
|
|
background: $boost;
|
|
border: solid $accent;
|
|
padding: 0 1;
|
|
}
|
|
|
|
#workers-title {
|
|
width: 1fr;
|
|
height: 100%;
|
|
content-align-vertical: middle;
|
|
color: $text;
|
|
text-style: bold;
|
|
}
|
|
|
|
#toggle-running-btn,
|
|
#toggle-finished-btn {
|
|
width: auto;
|
|
height: 100%;
|
|
margin: 0;
|
|
}
|
|
|
|
#running-section,
|
|
#finished-section {
|
|
width: 100%;
|
|
height: 40%;
|
|
layout: vertical;
|
|
border: solid $accent;
|
|
}
|
|
|
|
#running-table,
|
|
#finished-table {
|
|
width: 100%;
|
|
height: 1fr;
|
|
border: solid $accent;
|
|
}
|
|
|
|
#running-controls,
|
|
#finished-controls {
|
|
width: 100%;
|
|
height: auto;
|
|
min-height: 3;
|
|
layout: horizontal;
|
|
background: $boost;
|
|
padding: 1;
|
|
border-top: solid $accent;
|
|
}
|
|
|
|
#running-controls Button,
|
|
#finished-controls Button {
|
|
margin-right: 1;
|
|
min-width: 15;
|
|
}
|
|
|
|
#logs-label {
|
|
height: 1;
|
|
margin: 0 1;
|
|
text-style: bold;
|
|
}
|
|
|
|
#logs-section {
|
|
width: 100%;
|
|
height: 1fr;
|
|
layout: vertical;
|
|
border: solid $accent;
|
|
background: $panel;
|
|
}
|
|
|
|
#stdout-display {
|
|
width: 100%;
|
|
height: 1fr;
|
|
border: solid $accent;
|
|
margin: 1;
|
|
}
|
|
|
|
#workers-buttons {
|
|
dock: bottom;
|
|
height: auto;
|
|
min-height: 3;
|
|
layout: horizontal;
|
|
border: solid $accent;
|
|
padding: 1;
|
|
}
|
|
|
|
#workers-buttons Button {
|
|
margin-right: 1;
|
|
min-width: 15;
|
|
}
|
|
|
|
DataTable {
|
|
border: solid $accent;
|
|
}
|
|
|
|
DataTable > .datatable--header {
|
|
background: $boost;
|
|
color: $text;
|
|
text-style: bold;
|
|
}
|
|
|
|
DataTable > .datatable--cursor {
|
|
background: $accent;
|
|
color: $panel;
|
|
}
|