style.css 7.7 KB

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