A server-side web framework written in Forth. http://www.1-9-9-1.com
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

378 lines
7.0KB

  1. html {
  2. background: #2637dd;
  3. font-family: "Roboto Mono", monospace;
  4. font-weight: 500;
  5. color: #fff;
  6. -webkit-font-smoothing: antialiased;
  7. }
  8. header {
  9. text-align: center;
  10. margin-top: 8%;
  11. font-family: "Rubik Mono One", sans-serif;
  12. font-size: 14px;
  13. letter-spacing: 1px;
  14. text-transform: uppercase;
  15. }
  16. header p {
  17. margin-top: 1em;
  18. }
  19. .l1991 {
  20. font-size: 0;
  21. position: relative;
  22. display: inline-block;
  23. width: 45%;
  24. max-width: 600px;
  25. min-width: 250px;
  26. height: 60px;
  27. margin-right: -1%;
  28. }
  29. .l {
  30. display: inline-block;
  31. width: 23%;
  32. height: 100%;
  33. margin-right: 2%;
  34. box-sizing: border-box;
  35. font-size: 0;
  36. position: relative;
  37. }
  38. .l1 {
  39. border-bottom: solid 9px;
  40. }
  41. .l1:before {
  42. content: "";
  43. position: absolute;
  44. top: 0;
  45. left: 0;
  46. box-sizing: border-box;
  47. border: solid 9px;
  48. border-left: none;
  49. border-bottom: none;
  50. width: 69.23%;
  51. height: 100%;
  52. }
  53. .l9:before {
  54. content: "";
  55. position: absolute;
  56. top: 0;
  57. left: 0;
  58. width: 100%;
  59. height: 56.83%;
  60. -webkit-border-radius: 15px;
  61. -webkit-border-bottom-right-radius: 0;
  62. -moz-border-radius: 15px;
  63. -moz-border-radius-bottomright: 0;
  64. border-radius: 15px;
  65. border-bottom-right-radius: 0;
  66. box-sizing: border-box;
  67. border: solid 9px;
  68. }
  69. .l9:after {
  70. content: "";
  71. position: absolute;
  72. right: 0;
  73. bottom: 0;
  74. width: 97.89%;
  75. height: 56.83%;
  76. -webkit-border-bottom-right-radius: 20px;
  77. -moz-border-radius-bottomright: 20px;
  78. border-bottom-right-radius: 20px;
  79. box-sizing: border-box;
  80. border: solid 9px;
  81. border-top: none;
  82. border-left: none;
  83. }
  84. article {
  85. display: block;
  86. width: 60%;
  87. margin-left: 20%;
  88. }
  89. section {
  90. text-align: justify;
  91. font-size: 1em;
  92. line-height: 2em;
  93. }
  94. main h1 {
  95. margin-top: 8%;
  96. margin-bottom: 0;
  97. font-family: "Rubik Mono One";
  98. background: #fff;
  99. color: #2637dd;
  100. padding: 0.1em 0.3em;
  101. font-size: 1.2em;
  102. text-transform: uppercase;
  103. display: inline-block;
  104. }
  105. h2 {
  106. margin-top: 5%;
  107. }
  108. h1, h2, h3, h4, h5 {
  109. text-align: left;
  110. line-height: 2em;
  111. }
  112. strong {
  113. font-weight: inherit;
  114. color: #2637dd;
  115. background: #fff;
  116. padding-left: 0.3em;
  117. padding-right: 0.3em;
  118. }
  119. a {
  120. color: inherit;
  121. text-shadow: 1px 1px #2637dd, -1px -1px #2637dd;
  122. text-decoration: underline;
  123. }
  124. a:hover {
  125. text-decoration: none;
  126. text-decoration: line-through;
  127. }
  128. code {
  129. padding: 2px 5px;
  130. border: solid 1px;
  131. font-family: inherit;
  132. }
  133. pre {
  134. display: block;
  135. border: solid 2px;
  136. padding: 10px;
  137. margin: 10px 0px;
  138. white-space: pre-wrap;
  139. font-family: inherit;
  140. line-height: 1.5em;
  141. overflow: hidden;
  142. text-align: left;
  143. }
  144. ::selection {
  145. background: #fff;
  146. color: #2637dd;
  147. text-shadow: none;
  148. }
  149. ::-moz-selection {
  150. background: #fff;
  151. color: #2637dd;
  152. text-shadow: none;
  153. }
  154. footer {
  155. margin-top: 8%;
  156. margin-bottom: 5%;
  157. text-align: center;
  158. }
  159. footer .l1991 {
  160. width: 150px;
  161. height: 25px;
  162. min-width: auto;
  163. }
  164. footer .l1991 .l,
  165. footer .l1991 .l:before,
  166. footer .l1991 .l:after {
  167. border-width: 4px;
  168. }
  169. footer .l1991 .l9:before {
  170. -webkit-border-radius: 7px;
  171. -webkit-border-bottom-right-radius: 0;
  172. -moz-border-radius: 7px;
  173. -moz-border-radius-bottomright: 0;
  174. border-radius: 7px;
  175. border-bottom-right-radius: 0;
  176. }
  177. footer .l1991 .l9:after {
  178. -webkit-border-bottom-right-radius: 8px;
  179. -moz-border-radius-bottomright: 8px;
  180. border-bottom-right-radius: 8px;
  181. }
  182. footer nav {
  183. margin-top: 3%;
  184. border: 4px ridge;
  185. background: #e9e9e9;
  186. width: auto;
  187. display: inline-block;
  188. font-size: 0;
  189. }
  190. footer nav a {
  191. width: 60px;
  192. height: 60px;
  193. padding: 10px;
  194. box-sizing: border-box;
  195. display: inline-block;
  196. background: #e9e9e9;
  197. border: 2px outset;
  198. vertical-align: top;
  199. }
  200. footer nav a:active {
  201. border-style: inset;
  202. }
  203. footer nav a.url {
  204. position: relative;
  205. }
  206. footer nav a.url:after {
  207. content: "";
  208. position: absolute;
  209. top: 0;
  210. left: 0;
  211. right: 0;
  212. bottom: 0;
  213. margin: auto;
  214. width: 20px;
  215. height: 20px;
  216. background: url("http://www.urlysses.com/img/smile.gif");
  217. }
  218. .fork {
  219. position: fixed;
  220. top: 0;
  221. right: 0;
  222. z-index: 1;
  223. text-align: center;
  224. text-shadow: 1px 1px 0px #fff;
  225. width: 300px;
  226. height: 30px;
  227. line-height: 30px;
  228. color: #000;
  229. text-decoration: none !important;
  230. background: #e9e9e9;
  231. border: 3px inset #fff;
  232. font-weight: 900;
  233. -webkit-transform: rotate(45deg) translate(30%, -75%);
  234. -moz-transform: rotate(45deg) translate(30%, -75%);
  235. -ms-transform: rotate(45deg) translate(30%, -75%);
  236. transform: rotate(45deg) translate(30%, -75%);
  237. }
  238. /* "browser" */
  239. .browser {
  240. background: #e9e9e9;
  241. border: solid 1px #000;
  242. box-shadow: 6px 6px 0px #000;
  243. position: relative;
  244. box-sizing: border-box;
  245. color: #000;
  246. margin: 0;
  247. padding: 0;
  248. }
  249. .browser:before {
  250. content: "";
  251. pointer-events: none;
  252. position: absolute;
  253. border: solid 1px #000;
  254. top: 2px;
  255. left: 2px;
  256. right: 2px;
  257. bottom: 2px;
  258. }
  259. .browser:after {
  260. content: "EXAMPLE FILES";
  261. position: absolute;
  262. top: 10px;
  263. left: 1%;
  264. right: 1%;
  265. height: 20px;
  266. background: #2637dd;
  267. color: #fff;
  268. line-height: 20px;
  269. text-align: center;
  270. border: solid 1px #000;
  271. box-sizing: border-box;
  272. font-size: 0.5em;
  273. letter-spacing: 1px;
  274. }
  275. .browser .tabs {
  276. position: absolute;
  277. box-sizing: border-box;
  278. border: solid 1px #000;
  279. top: 40px;
  280. left: 1%;
  281. width: 98%;
  282. height: 30px;
  283. display: table;
  284. padding: 0;
  285. margin: 0;
  286. background: none;
  287. }
  288. .browser .tabs div {
  289. color: #aaa;
  290. text-shadow: 1px 1px 0px #fff;
  291. font-size: 0.8em;
  292. line-height: 30px;
  293. display: table-cell;
  294. vertical-align: middle;
  295. border: 3px outset;
  296. box-sizing: border-box;
  297. cursor: pointer;
  298. padding: 0px 10px;
  299. -webkit-user-select: none;
  300. -moz-user-select: none;
  301. -ms-user-select: none;
  302. user-select: none;
  303. overflow: hidden;
  304. text-overflow: ellipsis;
  305. white-space: nowrap;
  306. max-width: 100px;
  307. }
  308. .browser .tabs div:hover {
  309. color: #777;
  310. }
  311. .browser .tabs div:active {
  312. border-style: inset;
  313. }
  314. .browser .tabs div.selected {
  315. color: #000;
  316. }
  317. .browser pre {
  318. background: #fff;
  319. position: relative;
  320. border: solid 1px #000;
  321. box-sizing: border-box;
  322. margin-left: 1%;
  323. margin-top: 90px;
  324. width: 98%;
  325. display: none;
  326. }
  327. .browser pre.selected {
  328. display: block;
  329. }
  330. .browser .keyword-wrapper {
  331. color: #1FAAAA;
  332. }
  333. .browser .keyword {
  334. color: #FF0086;
  335. }
  336. .browser .number {
  337. color: #FD8900;
  338. }
  339. .browser .string {
  340. color: #3777E6;
  341. }
  342. .browser .comment,
  343. .browser .comment * {
  344. color: #989898;
  345. }
  346. .browser *::selection {
  347. background: #dedede;
  348. }
  349. .browser *::-moz-selection {
  350. background: #dedede;
  351. }
  352. /* media queries */
  353. @media all and (max-width: 600px) {
  354. article {
  355. width: 90%;
  356. margin-left: 5%;
  357. }
  358. .fork {
  359. font-size: 10px;
  360. width: 200px;
  361. height: 20px;
  362. line-height: 20px;
  363. }
  364. }