max80.css 3.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219
  1. @font-face {
  2. font-family: "Prisma";
  3. src: url(Prisma-MAX.woff2);
  4. }
  5. @font-face {
  6. font-family: "Charm";
  7. font-weight: 700;
  8. src: url(Charm-Bold-PoP.woff2);
  9. }
  10. body {
  11. background: #e6c185;
  12. font-family: "arial", "helvetica", "sans-serif";
  13. }
  14. .mono, pre, output, tt, code, samp {
  15. font-family: "source code pro", "monospace";
  16. }
  17. div.title {
  18. display: flex;
  19. width: 100%;
  20. white-space: nowrap;
  21. padding: 1em 0em;
  22. overflow: hidden;
  23. align-items: center;
  24. }
  25. div.title svg {
  26. padding: 0 20px;
  27. }
  28. div.title *, nav * {
  29. display: flex;
  30. margin: 0;
  31. }
  32. div.title .logo2 {
  33. text-align: right;
  34. padding: 0 25px;
  35. font-weight: 700;
  36. font-size: 50px;
  37. font-family: "Charm","Brush Script MT","cursive";
  38. }
  39. nav {
  40. display: flex;
  41. border-style: solid none solid none;
  42. border-width: 5px;
  43. border-color: white;
  44. width: 100%;
  45. white-space: nowrap;
  46. overflow: hidden;
  47. align-items: stretch;
  48. }
  49. a {
  50. color: black;
  51. text-decoration: underline 2px;
  52. }
  53. nav a {
  54. color: black;
  55. font-weight: 600;
  56. text-align: center;
  57. text-decoration: none;
  58. padding-left: 1.5em;
  59. padding-right: 1.5em;
  60. align-items: center;
  61. }
  62. a:hover {
  63. background: #af9365;
  64. }
  65. .pad {
  66. flex-grow: 1;
  67. }
  68. nav .text {
  69. padding-top: 1em;
  70. padding-bottom: 1em;
  71. }
  72. nav img {
  73. align-items: center;
  74. border: 1px solid black;
  75. object-fit: none;
  76. }
  77. form fieldset {
  78. border: 5px solid white;
  79. border-radius: 1em;
  80. margin: 1em;
  81. padding: 0.5em 1em;
  82. }
  83. form fieldset legend {
  84. font-weight: bold;
  85. padding: 0.25em;
  86. background: #af9365;
  87. }
  88. fieldset > div, fieldset > label {
  89. margin: 0;
  90. padding: 0.5ch;
  91. display: flex;
  92. }
  93. fieldset > ul {
  94. margin: 0;
  95. padding: 0.5ch;
  96. display: block;
  97. list-style-position: inside;
  98. }
  99. fieldset > ul li {
  100. padding: 0.25ch 0;
  101. }
  102. fieldset > p {
  103. font-style: italic;
  104. font-size: 90%;
  105. margin: 0 0 0 33ch;
  106. padding: 0.5em 0.5ch;
  107. }
  108. fieldset b {
  109. /* Abusing <b> as a kind of superlabel tag */
  110. width: 30ch;
  111. font-weight: normal;
  112. }
  113. fieldset b::after {
  114. content: ":";
  115. }
  116. fieldset span.sep {
  117. padding: 0 0.5ch;
  118. }
  119. input[type='text'], input[type='password'] {
  120. flex: 1;
  121. }
  122. .iodev input[type='number'] {
  123. width: 8ch;
  124. }
  125. input.port {
  126. flex: 0.2;
  127. width: 8ch;
  128. }
  129. .tz select {
  130. padding: 0;
  131. margin: 0 0 0 1px;
  132. }
  133. button.show, button.hide {
  134. width: 6ch;
  135. padding: 0;
  136. margin: 0 0 0 1px;
  137. font-size: 70%;
  138. }
  139. button.show .hide {
  140. display: none;
  141. }
  142. button.hide .show {
  143. display: none;
  144. }
  145. button {
  146. width: 28ch;
  147. margin: 1em;
  148. padding: 0.25em;
  149. vertical-align: middle;
  150. font-family: "arial", "sans-serif";
  151. font-size: 100%;
  152. }
  153. progress {
  154. display: block;
  155. width: 100%;
  156. margin: 0.5em 0;
  157. }
  158. output {
  159. display: none;
  160. border: 2px solid black;
  161. margin: 1em;
  162. padding: 0.75em 1.25em;
  163. border-radius: 1em;
  164. white-space: pre-wrap;
  165. }
  166. .ok output {
  167. display: block;
  168. background: #e0ffe0;
  169. }
  170. .err output {
  171. display: block;
  172. background: #ffe0e0;
  173. }
  174. .onerr {
  175. display: none;
  176. }
  177. .err .onerr {
  178. display: block;
  179. }
  180. .onerr h3 {
  181. font-weight: bold;
  182. text-decoration: underline;
  183. }
  184. .ro input:disabled {
  185. font-family: inherit;
  186. font-size: inherit;
  187. background: inherit;
  188. color: inherit;
  189. border: 0;
  190. opacity: 1;
  191. }
  192. .wip {
  193. width: 80%;
  194. margin: 2em auto;
  195. border: 10px solid #e00000;
  196. padding: 10px 50px;
  197. font-weight: 600;
  198. font-style: italic;
  199. text-align: center;
  200. font-size: 110%;
  201. min-height: 80px;
  202. background-color: #f0c000;
  203. background-image: url("wip.png");
  204. background-repeat: no-repeat;
  205. background-position: 20px 50%;
  206. display: flex;
  207. align-items: center;
  208. }
  209. .wip p {
  210. flex: 1;
  211. }
  212. p.norev {
  213. font-weight: 600;
  214. font-size: 100%;
  215. margin: 0 0;
  216. }
  217. .hidden {
  218. display: none;
  219. }