style.css 11 KB

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