style.css 6.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450
  1. body {
  2. background-color: #dee3e7;
  3. color: black;
  4. text-align: center;
  5. font-family: sans-serif;
  6. padding: 0;
  7. margin: 0;
  8. }
  9. dialog {
  10. min-width: 600px;
  11. text-align: left;
  12. padding: 1em;
  13. box-shadow: 0 0 6px 0 #444;
  14. }
  15. fieldset {
  16. padding: 0;
  17. }
  18. fieldset#root-group {
  19. display: grid;
  20. grid-template-columns: repeat(auto-fit, minmax(160px, 1fr));
  21. grid-template-rows: auto auto auto auto;
  22. grid-gap: 1em;
  23. text-align: center;
  24. border: 0;
  25. }
  26. #sidebar-toggle-wrapper {
  27. display: inline;
  28. }
  29. h1 {
  30. display: inline;
  31. padding-left: .5em;
  32. font-size: small;
  33. }
  34. label#sidebar-toggler-button {
  35. top: 1em;
  36. left: 0.5em;
  37. height: 2em;
  38. width: 2em;
  39. background-color: white;
  40. text-align: center;
  41. display: inline-grid;
  42. place-items: center;
  43. padding: .2em;
  44. box-shadow: 0 0 5px 0 #444;
  45. color: #666;
  46. }
  47. label#sidebar-toggler-button:hover,
  48. label#sidebar-toggler-button:focus {
  49. color: black;
  50. cursor: pointer;
  51. }
  52. footer,
  53. footer a {
  54. color: black;
  55. }
  56. aside {
  57. position: absolute;
  58. width: 180px;
  59. height: 100%;
  60. left: 0;
  61. top: 0;
  62. padding-top: 4em;
  63. transition: 0.5s ease;
  64. background-color: white;
  65. border: 0 0 10px 0;
  66. box-shadow: 0 0 10px 0 #444;
  67. z-index: 3;
  68. }
  69. input:checked ~ aside {
  70. left: -250px;
  71. }
  72. aside ul {
  73. padding: 0;
  74. margin: 0;
  75. }
  76. aside ul li {
  77. list-style: none;
  78. text-align: left;
  79. border-bottom: 1px inset black;
  80. }
  81. aside ul li a {
  82. display: block;
  83. padding-left: 1em;
  84. padding-top: 0.5em;
  85. padding-bottom: 0.5em;
  86. }
  87. aside ul li a:hover {
  88. color: black;
  89. background-color: #efefef;
  90. cursor: pointer;
  91. }
  92. table {
  93. background-color: white;
  94. border-collapse: collapse;
  95. width: 100%;
  96. box-shadow: 0 0 5px 0 #444;
  97. }
  98. th,
  99. td {
  100. border: 1px solid #efefef;
  101. text-align: left;
  102. padding: 0.6em;
  103. }
  104. th:first-child {
  105. width: 5%;
  106. }
  107. tr:hover td {
  108. background-color: beige;
  109. }
  110. legend {
  111. padding-top: 1em;
  112. }
  113. span[role="icon"] {
  114. display: block;
  115. font-size: 3em;
  116. vertical-align: middle;
  117. }
  118. .action-header span[role="icon"],
  119. tr.log-row span[role="icon"] {
  120. display: inline-block;
  121. padding-right: 0.2em;
  122. }
  123. .error {
  124. background-color: salmon;
  125. }
  126. div.error {
  127. padding: 1em;
  128. }
  129. .title.temporary-status-message {
  130. color: gray;
  131. }
  132. div.entity {
  133. background-color: white;
  134. box-shadow: 0 0 10px 0 #444;
  135. display: grid;
  136. grid-column: auto / span 2;
  137. grid-row: auto / span 2;
  138. grid-template-rows: auto min-content;
  139. grid-template-columns: minmax(min-content, auto);
  140. }
  141. h2 {
  142. margin-top: 0;
  143. font-size: 1em;
  144. display: inline-block;
  145. }
  146. div.entity h2 {
  147. grid-column: 1 / span all;
  148. }
  149. details {
  150. display: inline-block;
  151. }
  152. details[open] {
  153. margin-top: 1em;
  154. display: block;
  155. }
  156. /* General Buttons */
  157. button,
  158. input[type="submit"] {
  159. padding: 1em;
  160. color: black;
  161. text-align: center;
  162. border: 1px solid #999;
  163. background-color: white;
  164. box-shadow: 0 0 6px 0 #aaa;
  165. user-select: none;
  166. }
  167. /* Action Buttons */
  168. action-button {
  169. display: flex;
  170. flex-direction: column;
  171. }
  172. action-button button {
  173. width: 100%;
  174. flex-grow: 1;
  175. z-index: 2;
  176. }
  177. action-button details {
  178. flex-grow: 1;
  179. }
  180. action-button details[open] {
  181. margin-top: 0;
  182. }
  183. action-button details summary div {
  184. display: inline-flex;
  185. }
  186. action-button details summary div span:first-child {
  187. flex-grow: 1;
  188. }
  189. .action-button-footer {
  190. display: block;
  191. text-align: left;
  192. font-size: smaller;
  193. padding: 0.2em;
  194. background-color: #efefef;
  195. border-top: 0;
  196. border-left: 1px solid #999;
  197. border-right: 1px solid #999;
  198. border-bottom: 1px solid #999;
  199. }
  200. execution-button button {
  201. margin-top: 0.2em;
  202. margin-bottom: 0.2em;
  203. }
  204. /* Button states */
  205. button:hover,
  206. input[type="submit"]:hover {
  207. box-shadow: 0 0 10px 0 #666;
  208. cursor: pointer;
  209. }
  210. button:focus,
  211. input[type="submit"]:focus {
  212. outline: 1px solid black;
  213. }
  214. button:disabled,
  215. input[type="submit"]:disabled {
  216. color: gray;
  217. background-color: #333;
  218. cursor: not-allowed;
  219. }
  220. /* Button animations */
  221. .action-failed {
  222. animation: kf-action-failed 1s;
  223. }
  224. @keyframes kf-action-failed {
  225. 20% { background-color: red; }
  226. }
  227. .action-success {
  228. animation: kf-action-success 1s;
  229. }
  230. @keyframes kf-action-success {
  231. 20% { background-color: limegreen; }
  232. }
  233. .action-nonzero-exit {
  234. animation: kf-action-nonzero-exit 1s;
  235. }
  236. @keyframes kf-action-nonzero-exit {
  237. 20% { background-color: orange; }
  238. }
  239. .action-timeout {
  240. animation: kf-action-timeout 1s;
  241. }
  242. @keyframes kf-action-timeout {
  243. 20% { background-color: cyan; }
  244. }
  245. .action-blocked {
  246. animation: kf-action-blocked 1s;
  247. }
  248. @keyframes kf-action-blocked {
  249. 20% { background-color: purple; }
  250. }
  251. img.logo {
  252. width: 1em;
  253. height: 1em;
  254. vertical-align: middle;
  255. }
  256. main {
  257. padding: 1em;
  258. padding-top: 3em;
  259. }
  260. summary {
  261. cursor: pointer;
  262. }
  263. form div.wrapper {
  264. background-color: white;
  265. text-align: left;
  266. }
  267. label {
  268. width: 20%;
  269. text-align: right;
  270. display: inline-block;
  271. padding-right: 1em;
  272. }
  273. #perma-widget {
  274. position: absolute;
  275. top: 1em;
  276. left: 1em;
  277. z-index: 9;
  278. }
  279. #perma-widget label {
  280. display: inline;
  281. }
  282. input {
  283. padding: 0.6em;
  284. }
  285. input:invalid {
  286. outline: 2px solid red;
  287. }
  288. form .wrapper span.icon {
  289. display: inline-block;
  290. vertical-align: middle;
  291. }
  292. form input[type="submit"]:first-child {
  293. margin-right: 1em;
  294. }
  295. button[name="cancel"]:hover {
  296. background-color: salmon;
  297. }
  298. input[name="start"]:hover {
  299. background-color: #aceaac;
  300. }
  301. span.argument-description {
  302. margin-left: 1em;
  303. }
  304. form div.buttons {
  305. text-align: right;
  306. }
  307. pre {
  308. border: 1px solid gray;
  309. padding: 1em;
  310. min-height: 1em;
  311. }
  312. td.exit-code {
  313. text-align: center;
  314. }
  315. input.invalid {
  316. background-color: salmon;
  317. }
  318. #available-version {
  319. background-color: #aceaac;
  320. padding: 0.2em;
  321. border-radius: 1em;
  322. }
  323. span.tag {
  324. background-color: lightgray;
  325. border-radius: 0.6em;
  326. padding: 0.2em;
  327. }
  328. @media (prefers-color-scheme: dark) {
  329. body {
  330. background-color: #333;
  331. color: white;
  332. }
  333. form.action-arguments {
  334. background-color: #333;
  335. }
  336. form div.wrapper {
  337. background-color: #222;
  338. }
  339. button,
  340. input[type="submit"] {
  341. border: 1px solid #666;
  342. background-color: #222;
  343. box-shadow: 0 0 6px 0 #444;
  344. color: white;
  345. }
  346. button:disabled {
  347. background-color: black;
  348. }
  349. table,
  350. td,
  351. th {
  352. border: 1px solid gray;
  353. }
  354. td,
  355. tr {
  356. background-color: #222;
  357. color: white;
  358. }
  359. tr:hover td {
  360. background-color: #666;
  361. }
  362. footer,
  363. footer a {
  364. color: gray;
  365. }
  366. }