style.css 1.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105
  1. header {
  2. position: fixed;
  3. width: 100%;
  4. z-index: 5;
  5. }
  6. aside {
  7. padding-top: 4em;
  8. z-index: 3; /* Make sure the sidebar is on top of the terminal */
  9. }
  10. fieldset {
  11. display: grid;
  12. grid-template-columns: repeat(auto-fit, 180px);
  13. grid-auto-rows: 1fr;
  14. justify-content: center;
  15. place-items: stretch;
  16. }
  17. main {
  18. padding-top: 4em;
  19. }
  20. action-button {
  21. display: flex;
  22. flex-direction: column;
  23. flex-grow: 1;
  24. }
  25. action-button > button {
  26. display: flex;
  27. flex-direction: column;
  28. flex-grow: 1;
  29. justify-content: center;
  30. font-weight: normal;
  31. font-size: 0.85em;
  32. box-shadow: 0 0 .6em #aaa;
  33. }
  34. action-button > button .icon {
  35. font-size: 3em;
  36. }
  37. dialog {
  38. border-radius: 1em;
  39. }
  40. footer span {
  41. margin-right: 1em;
  42. }
  43. legend {
  44. font-weight: bold;
  45. text-align: center;
  46. padding: 1em;
  47. padding-top: 1.5em;
  48. }
  49. button.neutral {
  50. background-color: transparent;
  51. color: white;
  52. }
  53. section {
  54. padding: 0;
  55. }
  56. .display {
  57. border: 1px solid #666;
  58. padding: 1em;
  59. border-radius: .7em;
  60. box-shadow: 0 0 .6em #aaa;
  61. text-align: center;
  62. font-size: small;
  63. display: flex;
  64. flex-direction: column;
  65. flex-grow: 1;
  66. justify-content: center;
  67. align-items: center;
  68. }
  69. aside .flex-row {
  70. padding-left: 1em;
  71. padding-right: .5em;
  72. }
  73. #sidebar-toggler-button {
  74. margin-right: .5em;
  75. }
  76. div.buttons button svg {
  77. vertical-align: middle;
  78. }
  79. footer {
  80. font-size: small;
  81. }
  82. th {
  83. background-color: #fff;
  84. }
  85. section.small {
  86. border-radius: .4em;
  87. }