style.css 8.3 KB

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