style.css 9.1 KB

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