style.css 8.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625
  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. nav ul {
  126. margin: 0;
  127. padding: 0;
  128. }
  129. nav.topbar ul {
  130. display: inline-block;
  131. }
  132. nav.topbar ul li {
  133. display: inline-block;
  134. font-size: small;
  135. }
  136. nav.topbar ul li a {
  137. border-radius: .5em;
  138. }
  139. nav.sidebar ul li {
  140. list-style: none;
  141. text-align: left;
  142. border-bottom: 1px inset black;
  143. }
  144. table {
  145. background-color: white;
  146. border-collapse: collapse;
  147. width: 100%;
  148. box-shadow: 0 0 5px 0 #444;
  149. }
  150. th,
  151. td {
  152. border: 1px solid #efefef;
  153. text-align: left;
  154. padding: 0.6em;
  155. }
  156. th:first-child {
  157. width: 5%;
  158. }
  159. tr:hover td {
  160. background-color: beige;
  161. }
  162. legend {
  163. padding-top: 1em;
  164. text-align: center;
  165. width: 100%;
  166. padding-bottom: 1em;
  167. font-weight: bold;
  168. }
  169. span.icon {
  170. display: block;
  171. font-size: 3em;
  172. }
  173. .action-header {
  174. display: flex;
  175. align-items: center;
  176. }
  177. .action-header span.icon,
  178. tr.log-row span.icon {
  179. display: inline-block;
  180. padding-right: 0.2em;
  181. vertical-align: middle;
  182. }
  183. .error {
  184. background-color: salmon;
  185. color: black;
  186. }
  187. .title.temporary-status-message {
  188. color: gray;
  189. }
  190. h2 {
  191. display: inline-block;
  192. font-size: 1em;
  193. margin-top: 0;
  194. flex-grow: 1;
  195. }
  196. div.entity h2 {
  197. grid-column: 1 / span all;
  198. }
  199. details {
  200. display: inline-block;
  201. flex-grow: 1;
  202. }
  203. /* General Buttons */
  204. button,
  205. input[type="submit"]
  206. {
  207. padding: 1em;
  208. color: black;
  209. text-align: center;
  210. border: 1px solid #999;
  211. background-color: white;
  212. box-shadow: 0 0 6px 0 #aaa;
  213. user-select: none;
  214. transition: background-color 1s ease, color .3s ease;
  215. }
  216. input[type="checkbox"] {
  217. justify-self: baseline;
  218. }
  219. fieldset button {
  220. border-radius: .7em;
  221. }
  222. /* Action Buttons */
  223. action-button {
  224. display: flex;
  225. flex-direction: column;
  226. }
  227. action-button button {
  228. flex-grow: 1;
  229. width: 100%;
  230. z-index: 1;
  231. }
  232. span.title {
  233. display: inline;
  234. }
  235. action-button details {
  236. flex-grow: 1;
  237. }
  238. action-button details[open] {
  239. margin-top: 0;
  240. }
  241. action-button details summary div {
  242. display: inline-flex;
  243. }
  244. action-button details summary div span:first-child {
  245. flex-grow: 1;
  246. }
  247. .action-button-footer {
  248. text-align: left;
  249. font-size: smaller;
  250. overflow: auto;
  251. }
  252. execution-button {
  253. display: inline-block;
  254. margin-right: .2em;
  255. margin-left: .2em;
  256. margin-top: .2em;
  257. }
  258. execution-button button {
  259. margin-top: 0.2em;
  260. margin-bottom: 0.2em;
  261. }
  262. /* Button states */
  263. button:hover,
  264. input[type="submit"]:hover {
  265. box-shadow: 0 0 10px 0 #666;
  266. cursor: pointer;
  267. }
  268. button:focus,
  269. input[type="submit"]:focus {
  270. outline: 1px solid black;
  271. }
  272. button:disabled,
  273. input[type="submit"]:disabled {
  274. color: #3c3c3c;
  275. background-color: #cecece;
  276. cursor: not-allowed;
  277. }
  278. .action-status {
  279. padding: .4em;
  280. border-radius: .4em;
  281. }
  282. .action-failed {
  283. background-color: #e78284;
  284. }
  285. .action-success {
  286. background-color: #a6d189;
  287. color: black;
  288. }
  289. .action-nonzero-exit {
  290. background-color: #ef9f76;
  291. color: black;
  292. }
  293. .action-timeout {
  294. background-color: #99d1db;
  295. color: black;
  296. }
  297. .action-blocked {
  298. background-color: #ca9ee6;
  299. color: black;
  300. }
  301. img.logo {
  302. width: 1em;
  303. height: 1em;
  304. vertical-align: middle;
  305. }
  306. main {
  307. padding: 1em;
  308. padding-top: 3.5em;
  309. flex-grow: 1;
  310. }
  311. summary {
  312. cursor: pointer;
  313. }
  314. form div.wrapper {
  315. background-color: white;
  316. text-align: left;
  317. }
  318. label {
  319. text-align: right;
  320. display: inline-block;
  321. }
  322. header {
  323. text-align: left;
  324. display: flex;
  325. flex-direction: row;
  326. z-index: 3;
  327. align-items: center;
  328. padding-bottom: .2em;
  329. padding-top: 1em;
  330. position: fixed;
  331. background-color: #dee3e7;
  332. width: 100vw;
  333. }
  334. input {
  335. padding: 0.6em;
  336. }
  337. input:invalid {
  338. outline: 2px solid red;
  339. }
  340. form .wrapper span.icon {
  341. display: inline-block;
  342. vertical-align: middle;
  343. }
  344. button[name="cancel"]:hover {
  345. background-color: salmon;
  346. color: black;
  347. }
  348. input[name="start"]:hover {
  349. background-color: #aceaac;
  350. color: black;
  351. }
  352. div.arguments {
  353. display: grid;
  354. 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 */
  355. grid-template-rows: auto;
  356. grid-gap: 1em;
  357. align-items: center;
  358. }
  359. p.argument-wrapper {
  360. display: flex;
  361. }
  362. div.buttons {
  363. display: flex;
  364. justify-content: end;
  365. gap: 1em;
  366. }
  367. input.invalid {
  368. background-color: salmon;
  369. }
  370. #available-version {
  371. background-color: #aceaac;
  372. padding: 0.2em;
  373. border-radius: 1em;
  374. }
  375. span.tag {
  376. background-color: lightgray;
  377. border-radius: 0.4em;
  378. padding: 0.4em;
  379. margin-top: .2em;
  380. margin-right: .2em;
  381. display: inline-block;
  382. color: black;
  383. }
  384. div.toolbar {
  385. padding: .4em;
  386. text-align: left;
  387. background-color: #efefef;
  388. border: 1px solid #999;
  389. border-bottom: 0;
  390. display: flex;
  391. flex-direction: row;
  392. }
  393. div.toolbar * {
  394. margin-right: 1em;
  395. }
  396. div.display {
  397. border: 1px solid #666;
  398. box-shadow: 0 0 6px 0 #aaa;
  399. border-radius: .7em;
  400. display: flex;
  401. align-items: center;
  402. place-content: center center;
  403. flex-direction: column;
  404. font-size: small;
  405. }
  406. #execution-dialog-xterm {
  407. flex-grow: 1;
  408. }
  409. .padded-content {
  410. padding: 1em;
  411. }
  412. .padded-content-sides {
  413. padding-left: 1em;
  414. padding-right: 1em;
  415. }
  416. .ta-left {
  417. text-align: left;
  418. }
  419. .xterm {
  420. padding: 1em;
  421. }
  422. @media screen and (width <= 600px) {
  423. fieldset {
  424. grid-template-columns: repeat(auto-fit, minmax(180px, 1fr));
  425. }
  426. label {
  427. text-align: left;
  428. margin-bottom: .6em;
  429. font-weight: bold;
  430. }
  431. p.argument-wrapper {
  432. flex-direction: column;
  433. }
  434. div.arguments {
  435. grid-template-columns: auto;
  436. }
  437. dialog {
  438. border-left: 0;
  439. border-right: 0;
  440. margin-left: 0;
  441. margin-right: 0;
  442. width: 100vw;
  443. max-width: 100vw;
  444. }
  445. .xterm {
  446. margin-left: 0;
  447. margin-right: 0;
  448. width: fit-content;
  449. }
  450. }
  451. @media (prefers-color-scheme: dark) {
  452. body, header {
  453. background-color: #333;
  454. color: white;
  455. }
  456. dialog {
  457. background-color: #222;
  458. color: white;
  459. }
  460. form div.wrapper {
  461. background-color: #222;
  462. }
  463. button,
  464. input[type="submit"] {
  465. border: 1px solid #666;
  466. background-color: #222;
  467. box-shadow: 0 0 6px 0 #444;
  468. color: white;
  469. }
  470. button:focus,
  471. input[type="submit"]:focus {
  472. outline: 2px solid #72B7F4;
  473. }
  474. footer {
  475. color: #bbb;
  476. }
  477. a, a:visited {
  478. color: #bbb;
  479. }
  480. a:focus {
  481. background-color: #72B7F4;
  482. color: black;
  483. outline: 1px solid #72B7F4;
  484. }
  485. nav.sidebar {
  486. background-color: #111;
  487. color: white;
  488. }
  489. nav ul li a:hover {
  490. background-color: #666;
  491. color: white;
  492. }
  493. button:disabled {
  494. background-color: black;
  495. }
  496. table,
  497. td,
  498. th {
  499. border: 1px solid gray;
  500. }
  501. td,
  502. tr {
  503. background-color: #222;
  504. color: white;
  505. }
  506. tr:hover td {
  507. background-color: #666;
  508. }
  509. div.toolbar {
  510. background-color: black;
  511. }
  512. div.display {
  513. box-shadow: 0 0 6px 0 #444;
  514. }
  515. }