style.css 7.8 KB

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