style.css 10 KB

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