style.css 7.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566
  1. body {
  2. background-color: #dee3e7;
  3. color: black;
  4. font-family: sans-serif;
  5. margin: 0;
  6. padding: 0;
  7. text-align: center;
  8. display: flex;
  9. flex-direction: column;
  10. }
  11. dialog {
  12. box-shadow: 0 0 6px 0 #444;
  13. max-width: 600px;
  14. min-width: 60%;
  15. padding: 1em;
  16. text-align: left;
  17. }
  18. dialog.big {
  19. max-width: 100%;
  20. width: calc(100vw - 2em);
  21. height: 100vh;
  22. border: none;
  23. }
  24. fieldset {
  25. display: grid;
  26. grid-template-columns: repeat(auto-fit, 180px);
  27. grid-auto-rows: 1fr;
  28. grid-gap: 1em;
  29. padding: 0;
  30. text-align: center;
  31. justify-content: center;
  32. border: 0;
  33. }
  34. footer {
  35. font-size: smaller;
  36. }
  37. footer span {
  38. display: inline-block;
  39. }
  40. a {
  41. color: black;
  42. }
  43. nav ul li a {
  44. display: block;
  45. padding: 0.5em 1em;
  46. user-select: none;
  47. }
  48. a:focus {
  49. background-color: black;
  50. color: white;
  51. outline: 1px solid black;
  52. }
  53. nav ul li a:hover {
  54. background-color: #efefef;
  55. color: black;
  56. cursor: pointer;
  57. }
  58. #sidebar-toggler-button {
  59. height: 2em;
  60. width: 2em;
  61. text-align: center;
  62. display: inline-grid;
  63. place-items: center;
  64. padding: 0;
  65. }
  66. nav {
  67. display: none;
  68. left: -250px;
  69. }
  70. nav.topbar {
  71. display: flex;
  72. flex-direction: row;
  73. place-content: end;
  74. border-radius: .5em;
  75. padding-right: 1em;
  76. padding-left: 1em;
  77. flex-grow: 1;
  78. }
  79. nav.sidebar {
  80. background-color: white;
  81. position: fixed;
  82. width: 180px;
  83. height: 100dvh;
  84. top: 0;
  85. transition: left 0.5s ease;
  86. box-shadow: 0 0 10px 0 #444;
  87. }
  88. nav.shown {
  89. display: flex;
  90. z-index: -1;
  91. flex-direction: column;
  92. left: 0;
  93. }
  94. .sidebar #navigation-links {
  95. padding-top: 4em;
  96. flex-grow: 1;
  97. }
  98. #supplemental-links {
  99. flex-grow: 0;
  100. }
  101. h1 {
  102. display: inline;
  103. font-size: small;
  104. padding-left: .5em;
  105. }
  106. nav ul {
  107. margin: 0;
  108. padding: 0;
  109. }
  110. nav.topbar ul {
  111. display: inline-block;
  112. }
  113. nav.topbar ul li {
  114. display: inline-block;
  115. font-size: small;
  116. }
  117. nav.topbar ul li a {
  118. border-radius: .5em;
  119. }
  120. nav.sidebar ul li {
  121. list-style: none;
  122. text-align: left;
  123. border-bottom: 1px inset black;
  124. }
  125. table {
  126. background-color: white;
  127. border-collapse: collapse;
  128. width: 100%;
  129. box-shadow: 0 0 5px 0 #444;
  130. }
  131. th,
  132. td {
  133. border: 1px solid #efefef;
  134. text-align: left;
  135. padding: 0.6em;
  136. }
  137. th:first-child {
  138. width: 5%;
  139. }
  140. tr:hover td {
  141. background-color: beige;
  142. }
  143. legend {
  144. padding-top: 1em;
  145. text-align: center;
  146. width: 100%;
  147. padding-bottom: 1em;
  148. font-weight: bold;
  149. }
  150. span.icon {
  151. display: block;
  152. font-size: 3em;
  153. }
  154. .action-header {
  155. display: flex;
  156. align-items: center;
  157. }
  158. .action-header span.icon,
  159. tr.log-row span.icon {
  160. display: inline-block;
  161. padding-right: 0.2em;
  162. vertical-align: middle;
  163. }
  164. .error {
  165. background-color: salmon;
  166. }
  167. .title.temporary-status-message {
  168. color: gray;
  169. }
  170. div.entity {
  171. background-color: white;
  172. box-shadow: 0 0 10px 0 #444;
  173. display: grid;
  174. grid-column: auto / span 2;
  175. grid-row: auto / span 2;
  176. grid-template-rows: auto min-content;
  177. grid-template-columns: minmax(min-content, auto);
  178. }
  179. h2 {
  180. display: inline-block;
  181. font-size: 1em;
  182. margin-top: 0;
  183. flex-grow: 1;
  184. }
  185. div.entity h2 {
  186. grid-column: 1 / span all;
  187. }
  188. details {
  189. display: inline-block;
  190. }
  191. details[open] {
  192. margin-top: 1em;
  193. display: block;
  194. }
  195. /* General Buttons */
  196. button,
  197. input[type="submit"]
  198. {
  199. padding: 1em;
  200. color: black;
  201. text-align: center;
  202. border: 1px solid #999;
  203. background-color: white;
  204. box-shadow: 0 0 6px 0 #aaa;
  205. user-select: none;
  206. transition: background-color 1s ease, color 1s ease;
  207. }
  208. /* Action Buttons */
  209. action-button {
  210. display: flex;
  211. flex-direction: column;
  212. }
  213. action-button button {
  214. flex-grow: 1;
  215. width: 100%;
  216. z-index: 1;
  217. border-radius: .7em;
  218. }
  219. span.title {
  220. display: inline;
  221. }
  222. action-button details {
  223. flex-grow: 1;
  224. }
  225. action-button details[open] {
  226. margin-top: 0;
  227. }
  228. action-button details summary div {
  229. display: inline-flex;
  230. }
  231. action-button details summary div span:first-child {
  232. flex-grow: 1;
  233. }
  234. .action-button-footer {
  235. text-align: left;
  236. font-size: smaller;
  237. overflow: auto;
  238. }
  239. execution-button {
  240. display: inline-block;
  241. margin-right: .2em;
  242. margin-left: .2em;
  243. margin-top: .2em;
  244. }
  245. execution-button button {
  246. margin-top: 0.2em;
  247. margin-bottom: 0.2em;
  248. }
  249. /* Button states */
  250. button:hover,
  251. input[type="submit"]:hover {
  252. box-shadow: 0 0 10px 0 #666;
  253. cursor: pointer;
  254. }
  255. button:focus,
  256. input[type="submit"]:focus {
  257. outline: 1px solid black;
  258. }
  259. button:disabled,
  260. input[type="submit"]:disabled {
  261. color: #3c3c3c;
  262. background-color: #cecece;
  263. cursor: not-allowed;
  264. }
  265. .action-failed {
  266. background-color: red;
  267. }
  268. .action-success {
  269. background-color: limegreen;
  270. }
  271. .action-nonzero-exit {
  272. background-color: orange;
  273. }
  274. .action-timeout {
  275. background-color: cyan;
  276. }
  277. .action-blocked {
  278. background-color: purple;
  279. color: white;
  280. }
  281. img.logo {
  282. width: 1em;
  283. height: 1em;
  284. vertical-align: middle;
  285. }
  286. main {
  287. padding: 1em;
  288. padding-top: 3.5em;
  289. }
  290. summary {
  291. cursor: pointer;
  292. }
  293. form div.wrapper {
  294. background-color: white;
  295. text-align: left;
  296. }
  297. label {
  298. min-width: 20%;
  299. text-align: right;
  300. display: inline-block;
  301. padding-right: 1em;
  302. }
  303. header {
  304. text-align: left;
  305. display: flex;
  306. flex-direction: row;
  307. z-index: 3;
  308. align-items: center;
  309. padding-left: 1em;
  310. padding-bottom: .2em;
  311. padding-top: 1em;
  312. position: fixed;
  313. background-color: #dee3e7;
  314. width: 100vw;
  315. }
  316. input {
  317. padding: 0.6em;
  318. }
  319. input:invalid {
  320. outline: 2px solid red;
  321. }
  322. form .wrapper span.icon {
  323. display: inline-block;
  324. vertical-align: middle;
  325. }
  326. form input[type="submit"]:first-child {
  327. margin-right: 1em;
  328. }
  329. button[name="cancel"]:hover {
  330. background-color: salmon;
  331. color: black;
  332. }
  333. input[name="start"]:hover {
  334. background-color: #aceaac;
  335. color: black;
  336. }
  337. span.argument-description {
  338. margin-left: 1em;
  339. }
  340. p.argument-wrapper {
  341. display: flex;
  342. }
  343. form div.buttons {
  344. text-align: right;
  345. }
  346. pre {
  347. border: 1px solid gray;
  348. padding: 1em;
  349. min-height: 1em;
  350. overflow: auto;
  351. text-align: left;
  352. }
  353. td.exit-code {
  354. text-align: center;
  355. }
  356. input.invalid {
  357. background-color: salmon;
  358. }
  359. #available-version {
  360. background-color: #aceaac;
  361. padding: 0.2em;
  362. border-radius: 1em;
  363. }
  364. span.tag {
  365. background-color: lightgray;
  366. border-radius: 0.6em;
  367. padding: 0.2em;
  368. }
  369. div.toolbar {
  370. padding: .4em;
  371. text-align: left;
  372. background-color: #efefef;
  373. border: 1px solid #999;
  374. border-bottom: 0;
  375. display: flex;
  376. flex-direction: row;
  377. }
  378. div.toolbar * {
  379. margin-right: 1em;
  380. }
  381. @media screen and (width <= 600px) {
  382. fieldset {
  383. grid-template-columns: repeat(auto-fit, minmax(180px, 1fr));
  384. }
  385. label {
  386. text-align: left;
  387. margin-bottom: .6em;
  388. font-weight: bold;
  389. min-width: auto;
  390. }
  391. p.argument-wrapper {
  392. flex-direction: column;
  393. }
  394. span.argument-description {
  395. margin-left: 0;
  396. margin-top: .6em;
  397. }
  398. dialog {
  399. border-left: 0;
  400. border-right: 0;
  401. width: 100%;
  402. }
  403. }
  404. @media (prefers-color-scheme: dark) {
  405. body {
  406. background-color: #333;
  407. color: white;
  408. }
  409. dialog {
  410. background-color: #222;
  411. color: white;
  412. }
  413. form div.wrapper {
  414. background-color: #222;
  415. }
  416. button,
  417. input[type="submit"] {
  418. border: 1px solid #666;
  419. background-color: #222;
  420. box-shadow: 0 0 6px 0 #444;
  421. color: white;
  422. }
  423. button:focus,
  424. input[type="submit"]:focus {
  425. outline: 2px solid #72B7F4;
  426. }
  427. footer {
  428. color: #bbb;
  429. }
  430. a, a:visited {
  431. color: #bbb;
  432. }
  433. a:focus {
  434. background-color: #72B7F4;
  435. color: black;
  436. outline: 1px solid #72B7F4;
  437. }
  438. nav.sidebar {
  439. background-color: #111;
  440. color: white;
  441. }
  442. nav ul li a:hover {
  443. background-color: #666;
  444. color: white;
  445. }
  446. button:disabled {
  447. background-color: black;
  448. }
  449. table,
  450. td,
  451. th {
  452. border: 1px solid gray;
  453. }
  454. td,
  455. tr {
  456. background-color: #222;
  457. color: white;
  458. }
  459. tr:hover td {
  460. background-color: #666;
  461. }
  462. div.toolbar {
  463. background-color: black;
  464. }
  465. }