style.css 8.3 KB

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