style.css 14 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945
  1. /** https://github.com/jamesread/femtocrank **/
  2. :root {
  3. --karma-good: lightgreen;
  4. --border-color: #d7d7d7;
  5. --standout-bg-color: #f8f9fa;
  6. }
  7. html, body {
  8. display: flex;
  9. flex-direction: column;
  10. min-height: 100vh;
  11. }
  12. body {
  13. font-family: sans-serif;
  14. margin: 0;
  15. padding: 0;
  16. background-color: #dee3e7;
  17. color: rgb(51, 65, 85);
  18. }
  19. a, a:visited {
  20. color: blue;
  21. }
  22. a.active {
  23. text-decoration: underline;
  24. }
  25. ul {
  26. list-style: '\25b9 ';
  27. list-style-position: outside;
  28. padding-left: 1.4em;
  29. }
  30. main {
  31. margin: 0;
  32. padding: 1em;
  33. flex-grow: 1;
  34. }
  35. section {
  36. background-color: white;
  37. padding: 1em;
  38. border-radius: .4em;
  39. margin-bottom: 1em;
  40. box-shadow: 0 0 .5em #9a9a9a;
  41. }
  42. section.transparent {
  43. background-color: transparent;
  44. box-shadow: none;
  45. }
  46. section.small {
  47. max-width: 320px;
  48. border-radius: .8em;
  49. }
  50. section.small form {
  51. grid-template-columns: 1fr;
  52. }
  53. section.small fieldset {
  54. grid-column: span 1;
  55. }
  56. section.with-header-and-content {
  57. padding: 0;
  58. }
  59. section .section-header {
  60. background-color: #f8f9fa;
  61. border-radius: .4em;
  62. border-bottom-left-radius: 0;
  63. border-bottom-right-radius: 0;
  64. border-bottom: 1px solid var(--border-color);
  65. padding-left: 1em;
  66. padding-right: .4em;
  67. padding-top: .4em;
  68. padding-bottom: .4em;
  69. display: flex;
  70. flex-direction: row;
  71. justify-content: space-between;
  72. align-items: center;
  73. gap: 1em;
  74. }
  75. section .section-header h2 {
  76. margin: 0;
  77. padding-top: .5em;
  78. padding-bottom: .5em;
  79. }
  80. section .section-header div[role="toolbar"] {
  81. margin-bottom: 0;
  82. }
  83. section .section-header .button {
  84. margin-bottom: 0;
  85. }
  86. section .section-subheader {
  87. padding-left: 1em;
  88. padding-top: .4em;
  89. padding-bottom: .4em;
  90. border-bottom: 1px solid var(--border-color);
  91. }
  92. section .section-subheader h3 {
  93. font-weight: 600;
  94. font-size: 1.1em;
  95. padding: 0;
  96. margin: 0;
  97. }
  98. section .section-content *:first-child {
  99. margin-top: 0;
  100. }
  101. section .section-content *:last-child {
  102. margin-bottom: 0;
  103. }
  104. .padding {
  105. padding: 1em;
  106. }
  107. header {
  108. background-color: #444;
  109. color: white;
  110. display: flex;
  111. box-shadow: 0px 0px 6px 5px #aaa;
  112. border-bottom: 1px solid #3f3f3f;
  113. align-items: center;
  114. gap: 1em;
  115. z-index: 3; /* So the header box-shadow shows over the top of the sidebar */
  116. min-height: 3em; /* .logo 2em + .5em padding */
  117. }
  118. header a, header a:visited {
  119. color: white;
  120. text-decoration: none;
  121. cursor: pointer;
  122. }
  123. header a.active {
  124. text-decoration: underline;
  125. }
  126. header img.logo {
  127. width: 2em;
  128. height: 2em;
  129. padding: .5em;
  130. }
  131. header p {
  132. margin: 0;
  133. }
  134. .icon {
  135. font-size: 2em;
  136. }
  137. .logo-and-title {
  138. display: flex;
  139. flex-direction: row;
  140. align-items: center;
  141. }
  142. h1 {
  143. margin: 0;
  144. margin-right: 1em;
  145. font-size: 1em;
  146. }
  147. h2 {
  148. font-weight: 800;
  149. font-size: 1.1em;
  150. letter-spacing: -.025em;
  151. margin-bottom: -.25em;
  152. }
  153. h2:first-child {
  154. margin-top: 0;
  155. }
  156. nav ul {
  157. list-style-type: none;
  158. padding: 0;
  159. margin: 0;
  160. }
  161. header nav li {
  162. display: inline-block;
  163. }
  164. header nav a {
  165. padding: .6em;
  166. border-radius: .4em;
  167. display: block;
  168. }
  169. pre {
  170. background-color: var(--standout-bg-color);
  171. border: 1px solid var(--border-color);
  172. padding: 1em;
  173. border-radius: .4em;
  174. overflow-x: auto;
  175. font-family: monospace;
  176. white-space: pre-wrap; /* Allows wrapping of long lines */
  177. text-align: left;
  178. margin-bottom: 0;
  179. }
  180. .br {
  181. border-radius: .4em;
  182. }
  183. .bs {
  184. box-shadow: 0 0 .5em #9a9a9a;
  185. }
  186. .annotation {
  187. border-radius: .4em;
  188. border: 1px solid var(--border-color);
  189. padding: .4em;
  190. margin: .4em;
  191. margin-top: .2em;
  192. margin-right: .2em;
  193. display: inline-block;
  194. background-color: #f8f9fa;
  195. color: black;
  196. }
  197. .annotation-key {
  198. border-radius: .4em 0 0 .4em;
  199. padding: .4em;
  200. display: inline-block;
  201. color: #666;
  202. }
  203. .annotation-val {
  204. border-radius: 0 .4em .4em 0;
  205. padding: .4em;
  206. display: inline-block;
  207. color: black;
  208. }
  209. .critical, .error, .bad {
  210. color: white !important;
  211. background-color: salmon;
  212. }
  213. .warning {
  214. color: black;
  215. background-color: moccasin;
  216. }
  217. .severe {
  218. color: black;
  219. background-color: lightsalmon;
  220. }
  221. .important {
  222. color: black;
  223. background-color: lightgoldenrodyellow;
  224. }
  225. .note {
  226. color: black;
  227. background-color: lightblue;
  228. }
  229. .info {
  230. color: black;
  231. background-color: #efefef;
  232. }
  233. .success, .good {
  234. background-color: var(--karma-good);
  235. color: black;
  236. }
  237. .old {
  238. background-color: wheat !important;
  239. }
  240. .notification {
  241. padding: 0.5em;
  242. border-radius: .4em;
  243. margin-bottom: 1em;
  244. cursor: pointer;
  245. }
  246. .notification a {
  247. color: black;
  248. font-weight: bold;
  249. text-decoration: none;
  250. }
  251. .inline-notification {
  252. border-radius: .4em;
  253. padding: .4em;
  254. box-shadow: 0 0 .4em #e1e1e1;
  255. }
  256. button, .button, .button:visited {
  257. padding-top: .4em;
  258. padding-bottom: .4em;
  259. padding-left: 1em;
  260. padding-right: 1em;
  261. border-radius: .4em;
  262. background-color: transparent;
  263. font-weight: bold;
  264. font-family: sans-serif;
  265. color: black;
  266. border: 1px solid var(--border-color);
  267. cursor: pointer;
  268. text-align: center;
  269. font-size: 1em;
  270. font-family: sans-serif;
  271. text-decoration: none;
  272. }
  273. header button:hover, header .button:hover {
  274. background-color: #6e6e6e;
  275. color: white;
  276. }
  277. button:hover, .button:hover {
  278. background-color: #e9e9e9;
  279. }
  280. button[type="submit"], button.good, .button.good {
  281. background-color: #488448;
  282. color: white;
  283. border: 0;
  284. }
  285. button[type="submit"]:hover, button.good:hover, .button.good:hover {
  286. background-color: #3a6f3a;
  287. }
  288. button:disabled, .button:disabled {
  289. background-color: #6e6e6e;
  290. color: #999;
  291. cursor: not-allowed;
  292. }
  293. button:disabled:hover, .button:disabled:hover {
  294. background-color: #6e6e6e;
  295. }
  296. button[type="reset"], button.bad, .button.bad {
  297. background-color: #d9534f;
  298. color: white;
  299. border: 0;
  300. }
  301. button[type="reset"]:hover, button.bad:hover, .button.bad:hover {
  302. background-color: #c9302c;
  303. }
  304. button[type="cancel"], button.warning, .button.warning {
  305. background-color: #c7872c;
  306. color: white;
  307. border: 0;
  308. }
  309. button[type="cancel"]:hover, button.warning:hover, .button.warning:hover {
  310. background-color: #b77a2c;
  311. }
  312. .subtle {
  313. color: #999;
  314. font-size: .9em;
  315. }
  316. .stat {
  317. font-size: 1.4em;
  318. font-weight: bold;
  319. }
  320. form {
  321. display: grid;
  322. gap: 1em;
  323. grid-template-columns: minmax(0, max-content) minmax(0, 600px);
  324. grid-template-rows: auto;
  325. flex-direction: column;
  326. border-radius: .4em;
  327. align-items: baseline;
  328. }
  329. label, span.fake-label {
  330. font-weight: bold;
  331. cursor: pointer;
  332. }
  333. select {
  334. padding: 1em;
  335. border-radius: .4em;
  336. border: 1px solid var(--border-color);
  337. font-family: sans-serif;
  338. background-color: white;
  339. }
  340. textarea {
  341. padding: 1em;
  342. border-radius: .4em;
  343. border: 1px solid var(--border-color);
  344. font-family: sans-serif;
  345. min-height: 6em;
  346. }
  347. textarea[readonly] {
  348. background-color: #f0f0f0;
  349. color: #666;
  350. font-style: italic;
  351. }
  352. input[type="text"],
  353. input[type="email"],
  354. input[type="password"],
  355. input[type="number"],
  356. input[type="url"],
  357. input[type="datetime-local"] {
  358. padding: 1em;
  359. border-radius: .4em;
  360. border: 1px solid var(--border-color);
  361. font-family: sans-serif;
  362. }
  363. form input[type="checkbox"] {
  364. justify-self: start;
  365. padding: 0;
  366. margin: 0;
  367. }
  368. /**
  369. input:invalid {
  370. border: 1px solid red;
  371. box-shadow: 0 0 5px red;
  372. }
  373. **/
  374. input:disabled {
  375. cursor: not-allowed !important;
  376. background-color: #6e6e6e;
  377. color: #999;
  378. }
  379. fieldset {
  380. border: 0;
  381. display: flex;
  382. flex-direction: row;
  383. grid-column: span 2;
  384. padding: 0;
  385. gap: 1em;
  386. font-family: sans-serif;
  387. align-items: start;
  388. }
  389. label:has(input[type="checkbox"]) {
  390. border-radius: .4em;
  391. margin-right: .5em;
  392. }
  393. label:has(input[type="checkbox"]), label:has(input[type="radio"]) {
  394. align-items: center;
  395. gap: .5em;
  396. cursor: pointer;
  397. padding: .5em;
  398. user-select: none;
  399. }
  400. label:has(input[type="checkbox"]):hover, label:has(input[type="radio"]):hover {
  401. background-color: #f0f0f0;
  402. color: black;
  403. }
  404. label:has(input:checked) {
  405. background-color: #488448;
  406. color: white;
  407. }
  408. label:has(input:checked):hover {
  409. background-color: #3a6f3a;
  410. color: white;
  411. }
  412. .radio-group {
  413. display: flex;
  414. flex-direction: row;
  415. gap: 0;
  416. align-items: center;
  417. border: 1px solid var(--border-color);
  418. border-radius: .4em;
  419. }
  420. .radio-group input[type="radio"] {
  421. border-radius: .4em;
  422. }
  423. .radio-group label {
  424. background-color: white;
  425. padding: .5em;
  426. cursor: pointer;
  427. flex-grow: 1;
  428. text-align: center;
  429. }
  430. .radio-group label:hover {
  431. background-color: #f0f0f0;
  432. color: white;
  433. }
  434. .radio-group label:first-child {
  435. border-radius: .4em 0 0 .4em;
  436. }
  437. .radio-group label:last-child {
  438. border-radius: 0 .4em .4em 0;
  439. }
  440. .grid {
  441. display: grid;
  442. gap: 1em;
  443. justify-content: center;
  444. }
  445. .grid-display {
  446. display: grid;
  447. }
  448. .grid-boxed {
  449. display: grid;
  450. gap: 1em;
  451. grid-template-columns: 1fr 1fr 1fr;
  452. }
  453. .grid section {
  454. margin-bottom: 0;
  455. }
  456. .gc-xl {
  457. grid-template-columns: repeat(auto-fit,minmax(500px,1fr));
  458. }
  459. .stat-display {
  460. border: 1px solid var(--border-color);
  461. background-color: var(--standout-bg-color);
  462. padding: 1em;
  463. border-radius: .4em;
  464. }
  465. .stat-display span.subtle {
  466. display: block;
  467. }
  468. .tac {
  469. text-align: center;
  470. }
  471. .blocktext {
  472. letter-spacing: 1px;
  473. text-transform: uppercase;
  474. }
  475. div[role="toolbar"] {
  476. display: flex;
  477. flex-direction: row;
  478. gap: 1em;
  479. align-items: center;
  480. margin-bottom: 1em;
  481. }
  482. table {
  483. width: 100%;
  484. }
  485. table, th, td {
  486. border: 0;
  487. border-bottom: 1px solid var(--border-color);
  488. border-collapse: collapse;
  489. }
  490. table.row-hover tr:hover td {
  491. background-color: beige;
  492. color: black;
  493. }
  494. td,th {
  495. padding: .5em;
  496. }
  497. th {
  498. background-color: #EFF1F3;
  499. text-align: left;
  500. }
  501. th.small {
  502. width: 10%;
  503. }
  504. td.uneditable {
  505. background-color: #f0f0f0;
  506. font-weight: bold;
  507. }
  508. ul.noListStyle {
  509. list-style-type: none;
  510. padding: 0;
  511. margin: 0;
  512. }
  513. ul[role="menubar"] {
  514. list-style: none;
  515. padding: 0;
  516. margin: 0;
  517. }
  518. ul[role="menubar"] li {
  519. display: inline-block;
  520. }
  521. ul[role="menubar"] li span.submenu {
  522. text-decoration: dotted underline;
  523. }
  524. ul[role=menubar] li div {
  525. position: absolute;
  526. display: none;
  527. box-shadow: 0 0 6px 0 #444;
  528. }
  529. ul[role=menubar] li:hover {
  530. background-color: beige;
  531. }
  532. ul[role=menubar] li span {
  533. cursor: pointer;
  534. }
  535. ul[role=menubar] li:hover div {
  536. display: block;
  537. background-color: #fff;
  538. min-width: 12em;
  539. }
  540. ul[role=menubar] li {
  541. border-radius: .5em;
  542. }
  543. header ul[role=menubar] li:hover ul {
  544. margin: 0;
  545. padding: 0;
  546. }
  547. ul[role=menubar] div ul {
  548. list-style: none;
  549. padding: 0;
  550. margin: 0;
  551. }
  552. ul[role=menubar] div ul li {
  553. display: block;
  554. margin-right: 0;
  555. }
  556. ul[role=menubar] div ul a {
  557. text-decoration: none;
  558. display: block;
  559. padding: .2em;
  560. }
  561. header ul[role=menubar] div li a {
  562. border-radius: 0;
  563. }
  564. ul[role=menubar] div ul a:hover {
  565. background-color: beige;
  566. }
  567. header ul[role=menubar] div ul a:hover {
  568. background-color: #555;
  569. }
  570. header ul[role=menubar] a, header ul[role=menubar] a:visited {
  571. color: white;
  572. background-color: #444;
  573. }
  574. header ul[role=menubar] a:hover {
  575. background-color: #555;
  576. }
  577. aside {
  578. position: fixed;
  579. background-color: #fff;
  580. box-shadow: 0 0 .5em #9a9a9a;
  581. transition: left .5s, visibility .5s;
  582. min-width: 14em;
  583. width: 14em;
  584. visibility: hidden;
  585. left: -14em;
  586. height: 100vh;
  587. z-index: 2; /* So the sidebar box-shadow is above the main content */
  588. }
  589. aside.stuck {
  590. position: static;
  591. height: auto; /* flex element */
  592. }
  593. aside.shown {
  594. visibility: visible;
  595. left: 0;
  596. }
  597. aside a, aside a:visited {
  598. text-decoration: none;
  599. color: black;
  600. }
  601. aside ul {
  602. list-style: none;
  603. padding: 0;
  604. }
  605. aside ul li a {
  606. text-decoration: none;
  607. display: block;
  608. padding: .4em;
  609. padding: .4em .6em;
  610. }
  611. aside a:hover {
  612. background-color: #f2f2f2;
  613. }
  614. footer {
  615. text-align: center;
  616. padding: .5em;
  617. }
  618. #layout {
  619. display: flex;
  620. flex-direction: row;
  621. flex-grow: 1;
  622. }
  623. #content {
  624. flex-grow: 1;
  625. display: flex;
  626. flex-direction: column;
  627. }
  628. footer span {
  629. padding: .5em 1em .5em 1em;
  630. border-radius: .5em;
  631. background-color: #c6d0d7;
  632. display: inline-block;
  633. margin-right: 1em;
  634. }
  635. .a11yhidden {
  636. position: absolute;
  637. left: -500px;
  638. }
  639. .a11yhidden:focus {
  640. left: 1em;
  641. background-color: black;
  642. border: 2px solid #555;
  643. border-radius: .5em;
  644. padding: .5em;
  645. color: white;
  646. }
  647. #sidebar-button {
  648. width: 14em;
  649. cursor: pointer;
  650. border-right: 1px solid #333;
  651. background-color: #444;
  652. display: flex;
  653. flex-direction: row;
  654. }
  655. #sidebar-button:hover {
  656. background-color: #666;
  657. }
  658. #sidebar-button .menu-icon {
  659. padding: .5em;
  660. }
  661. #sidebar-button .logo-and-title {
  662. flex-grow: 1;
  663. }
  664. dialog {
  665. border-radius: .4em;
  666. padding: 1em;
  667. max-width: 600px;
  668. margin: auto;
  669. }
  670. dialog::backdrop {
  671. background-color: rgba(0, 0, 0, 0.5);
  672. }
  673. .vh {
  674. visibility: hidden;
  675. }
  676. .script-button {
  677. padding: .5em;
  678. cursor: pointer;
  679. }
  680. .fs2 {
  681. font-size: 2em;
  682. }
  683. .flex-row {
  684. display: flex;
  685. flex-direction: row;
  686. align-items: center;
  687. }
  688. .fg0 {
  689. flex-grow: 0;
  690. }
  691. .fg1 {
  692. flex-grow: 1;
  693. }
  694. .g1 {
  695. gap: 1em;
  696. }
  697. .g2 {
  698. gap: 2em;
  699. }
  700. .flex-spacer {
  701. flex-grow: 1;
  702. }
  703. dl {
  704. display: grid;
  705. grid-template-columns: max-content 1fr;
  706. gap: 0;
  707. }
  708. dt:after {
  709. content: ':';
  710. }
  711. dt {
  712. font-weight: bold;
  713. border-right: 1px solid var(--border-color);
  714. text-align: right;
  715. padding: 0.6em;
  716. }
  717. dd {
  718. margin-left: 0;
  719. padding: 0.6em;
  720. word-break: break-word;
  721. }
  722. a svg, button svg, h2 svg {
  723. vertical-align: bottom;
  724. }
  725. @media (max-width: 600px) {
  726. header {
  727. gap: .5em;
  728. }
  729. header h1 {
  730. font-size: 1.2em;
  731. }
  732. header p {
  733. font-size: .8em;
  734. }
  735. header nav ul li {
  736. display: block;
  737. margin-right: 0;
  738. }
  739. main {
  740. padding: 0;
  741. }
  742. section {
  743. margin: 0;
  744. margin-top: 1em;
  745. border-radius: 0;
  746. padding: .75em;
  747. }
  748. .hide-small {
  749. display: none;
  750. }
  751. form {
  752. grid-template-columns: 1fr;
  753. }
  754. fieldset {
  755. grid-column: span 1;
  756. }
  757. aside.stuck {
  758. position: absolute;
  759. width: 100%;
  760. }
  761. dl {
  762. display: grid;
  763. grid-template-columns: 1fr;
  764. }
  765. dt {
  766. text-align: left;
  767. padding: 0;
  768. border-right: none;
  769. }
  770. dd {
  771. padding-left: 0;
  772. margin-bottom: .8em;
  773. }
  774. dt:after {
  775. }
  776. }