/* 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; }