max80.css 2.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137
  1. @font-face {
  2. font-family: "Prisma";
  3. src: url(Prisma-MAX.woff2);
  4. }
  5. body {
  6. background: #e6c185;
  7. font-family: "arial", "sans-serif";
  8. }
  9. .mono, pre, output, tt, code {
  10. font-family: "source code pro", "monospace";
  11. }
  12. div.title {
  13. width: 100%;
  14. white-space: nowrap;
  15. padding: 1em;
  16. overflow: hidden;
  17. }
  18. div.title svg {
  19. display: inline;
  20. vertical-align: middle;
  21. }
  22. div.title .logo2 {
  23. display: inline;
  24. vertical-align: middle;
  25. text-align: center;
  26. margin: 2em;
  27. font-weight: bold;
  28. font-style: italic;
  29. font-size: 25px;
  30. }
  31. nav {
  32. display: flex;
  33. border-style: solid none solid none;
  34. border-width: 5px;
  35. border-color: white;
  36. width: 100%;
  37. white-space: nowrap;
  38. overflow: hidden;
  39. align-items: stretch;
  40. }
  41. nav * {
  42. display: flex;
  43. margin: 0;
  44. }
  45. nav a {
  46. color: black;
  47. font-weight: 600;
  48. text-align: center;
  49. text-decoration: none;
  50. padding-left: 1.5em;
  51. padding-right: 1.5em;
  52. align-items: center;
  53. }
  54. nav a:hover {
  55. background: #af9365;
  56. }
  57. nav .pad {
  58. flex-grow: 1;
  59. }
  60. nav .text {
  61. padding-top: 1em;
  62. padding-bottom: 1em;
  63. }
  64. nav img {
  65. align-items: center;
  66. border: 1px solid black;
  67. object-fit: none;
  68. }
  69. form fieldset {
  70. border: 5px solid white;
  71. border-radius: 1em;
  72. margin: 1em;
  73. padding: 0.5em 1em;
  74. }
  75. form fieldset legend {
  76. font-weight: bold;
  77. padding: 0.25em;
  78. background: #af9365;
  79. }
  80. form label {
  81. margin: 0;
  82. padding: 0.5ch;
  83. display: flex;
  84. }
  85. form label span {
  86. width: 30ch;
  87. }
  88. input[type='text'], input[type='password'] {
  89. flex: 1;
  90. }
  91. .tz select {
  92. padding: 0;
  93. margin: 0 0 0 1px;
  94. }
  95. button.show, button.hide {
  96. width: 6ch;
  97. padding: 0;
  98. margin: 0 0 0 1px;
  99. font-size: 70%;
  100. }
  101. button.show .hide {
  102. display: none;
  103. }
  104. button.hide .show {
  105. display: none;
  106. }
  107. button {
  108. width: 28ch;
  109. margin: 1em;
  110. padding: 0.25em;
  111. vertical-align: middle;
  112. font-family: "arial", "sans-serif";
  113. font-size: 100%;
  114. }
  115. progress {
  116. display: block;
  117. width: 100%;
  118. margin: 0.5em 0;
  119. }
  120. output {
  121. display: none;
  122. }
  123. output.result {
  124. display: block;
  125. border: 2px solid black;
  126. margin: 1em;
  127. padding: 0.75em 1.25em;
  128. border-radius: 1em;
  129. white-space: pre-wrap;
  130. }
  131. .ok {
  132. background: #e0ffe0;
  133. }
  134. .err {
  135. background: #ffe0e0;
  136. }