4
0

style.css 11 KB

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