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.

412 line
7.6KB

  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", sans-serif;
  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. position: relative;
  108. }
  109. h2::first-letter {
  110. color: #2637dd;
  111. }
  112. h2:after {
  113. content: "";
  114. display: block;
  115. width: 0.7em;
  116. height: 2em;
  117. background: #fff;
  118. position: absolute;
  119. top: 0;
  120. left: -0.05em;
  121. z-index: -1;
  122. }
  123. h1, h2, h3, h4, h5 {
  124. text-align: left;
  125. line-height: 2em;
  126. }
  127. strong {
  128. font-weight: inherit;
  129. color: #2637dd;
  130. background: #fff;
  131. padding-left: 0.3em;
  132. padding-right: 0.3em;
  133. }
  134. a {
  135. color: inherit;
  136. text-shadow: 1px 1px #2637dd, -1px -1px #2637dd;
  137. text-decoration: underline;
  138. }
  139. a:hover {
  140. text-decoration: none;
  141. text-decoration: line-through;
  142. }
  143. code {
  144. padding: 2px 5px;
  145. border: solid 1px;
  146. font-family: inherit;
  147. }
  148. pre {
  149. display: block;
  150. border: solid 2px;
  151. padding: 10px;
  152. margin: 10px 0px;
  153. white-space: pre-wrap;
  154. font-family: inherit;
  155. line-height: 1.5em;
  156. overflow: hidden;
  157. text-align: left;
  158. }
  159. p {
  160. margin-top: 2em;
  161. margin-bottom: 2em;
  162. }
  163. ::selection {
  164. background: #fff;
  165. color: #2637dd;
  166. text-shadow: none;
  167. }
  168. ::-moz-selection {
  169. background: #fff;
  170. color: #2637dd;
  171. text-shadow: none;
  172. }
  173. footer {
  174. margin-top: 8%;
  175. margin-bottom: 5%;
  176. text-align: center;
  177. }
  178. footer .l1991 {
  179. width: 150px;
  180. height: 25px;
  181. min-width: auto;
  182. }
  183. footer .l1991 .l,
  184. footer .l1991 .l:before,
  185. footer .l1991 .l:after {
  186. border-width: 4px;
  187. }
  188. footer .l1991 .l9:before {
  189. -webkit-border-radius: 7px;
  190. -webkit-border-bottom-right-radius: 0;
  191. -moz-border-radius: 7px;
  192. -moz-border-radius-bottomright: 0;
  193. border-radius: 7px;
  194. border-bottom-right-radius: 0;
  195. }
  196. footer .l1991 .l9:after {
  197. -webkit-border-bottom-right-radius: 8px;
  198. -moz-border-radius-bottomright: 8px;
  199. border-bottom-right-radius: 8px;
  200. }
  201. footer nav {
  202. margin-top: 3%;
  203. border: 4px ridge;
  204. background: #e9e9e9;
  205. width: auto;
  206. display: inline-block;
  207. font-size: 0;
  208. }
  209. footer nav a {
  210. width: 60px;
  211. height: 60px;
  212. padding: 10px;
  213. box-sizing: border-box;
  214. display: inline-block;
  215. background: #e9e9e9;
  216. border: 2px outset;
  217. vertical-align: top;
  218. }
  219. footer nav a:active {
  220. border-style: inset;
  221. }
  222. footer nav a.url {
  223. position: relative;
  224. }
  225. footer nav a.url:after {
  226. content: "";
  227. position: absolute;
  228. top: 0;
  229. left: 0;
  230. right: 0;
  231. bottom: 0;
  232. margin: auto;
  233. width: 20px;
  234. height: 20px;
  235. background: url("http://www.urlysses.com/img/smile.gif");
  236. }
  237. .fork {
  238. position: fixed;
  239. top: 0;
  240. right: 0;
  241. z-index: 1;
  242. text-align: center;
  243. text-shadow: 1px 1px 0px #fff;
  244. width: 300px;
  245. height: 30px;
  246. line-height: 30px;
  247. color: #000;
  248. text-decoration: none !important;
  249. background: #e9e9e9;
  250. border: 3px inset #fff;
  251. font-weight: 900;
  252. -webkit-transform: rotate(45deg) translate(30%, -75%);
  253. -moz-transform: rotate(45deg) translate(30%, -75%);
  254. -ms-transform: rotate(45deg) translate(30%, -75%);
  255. transform: rotate(45deg) translate(30%, -75%);
  256. }
  257. /* "browser" */
  258. .browser {
  259. background: #e9e9e9;
  260. border: solid 1px #000;
  261. box-shadow: 6px 6px 0px #000;
  262. position: relative;
  263. box-sizing: border-box;
  264. color: #000;
  265. margin: 0;
  266. padding: 0;
  267. }
  268. .browser:before {
  269. content: "";
  270. pointer-events: none;
  271. position: absolute;
  272. border: solid 1px #000;
  273. top: 2px;
  274. left: 2px;
  275. right: 2px;
  276. bottom: 2px;
  277. }
  278. .browser:after {
  279. content: "EXAMPLE FILES";
  280. position: absolute;
  281. top: 10px;
  282. left: 1%;
  283. right: 1%;
  284. height: 20px;
  285. background: #2637dd;
  286. color: #fff;
  287. line-height: 20px;
  288. text-align: center;
  289. border: solid 1px #000;
  290. box-sizing: border-box;
  291. font-size: 0.5em;
  292. letter-spacing: 1px;
  293. }
  294. .browser .tabs {
  295. position: absolute;
  296. box-sizing: border-box;
  297. border: solid 1px #000;
  298. top: 40px;
  299. left: 1%;
  300. width: 98%;
  301. height: 30px;
  302. display: table;
  303. padding: 0;
  304. margin: 0;
  305. background: none;
  306. }
  307. .browser .tabs div {
  308. color: #aaa;
  309. text-shadow: 1px 1px 0px #fff;
  310. font-size: 0.8em;
  311. line-height: 30px;
  312. display: table-cell;
  313. vertical-align: middle;
  314. border: 3px outset;
  315. box-sizing: border-box;
  316. cursor: pointer;
  317. padding: 0px 10px;
  318. -webkit-user-select: none;
  319. -moz-user-select: none;
  320. -ms-user-select: none;
  321. user-select: none;
  322. overflow: hidden;
  323. text-overflow: ellipsis;
  324. white-space: nowrap;
  325. max-width: 100px;
  326. }
  327. .browser .tabs div:hover {
  328. color: #777;
  329. }
  330. .browser .tabs div:active {
  331. border-style: inset;
  332. }
  333. .browser .tabs div.selected {
  334. color: #000;
  335. }
  336. .browser pre {
  337. background: #fff;
  338. position: relative;
  339. border: solid 1px #000;
  340. box-sizing: border-box;
  341. margin-left: 1%;
  342. margin-top: 90px;
  343. width: 98%;
  344. display: none;
  345. }
  346. .browser pre.selected {
  347. display: block;
  348. }
  349. .browser .keyword-wrapper {
  350. color: #1FAAAA;
  351. }
  352. .browser .keyword {
  353. color: #FF0086;
  354. }
  355. .browser .number {
  356. color: #FD8900;
  357. }
  358. .browser .string {
  359. color: #3777E6;
  360. }
  361. .browser .comment,
  362. .browser .comment * {
  363. color: #989898;
  364. }
  365. .browser *::selection {
  366. background: #dedede;
  367. }
  368. .browser *::-moz-selection {
  369. background: #dedede;
  370. }
  371. /* media queries */
  372. @media all and (max-width: 900px) {
  373. body {
  374. font-size: 14px;
  375. }
  376. article {
  377. width: 80%;
  378. margin-left: 10%;
  379. }
  380. }
  381. @media all and (max-width: 600px) {
  382. body {
  383. font-size: 12px;
  384. }
  385. main h1 {
  386. display: block;
  387. }
  388. article {
  389. width: 90%;
  390. margin-left: 5%;
  391. }
  392. .fork {
  393. font-size: 10px;
  394. width: 200px;
  395. height: 20px;
  396. line-height: 20px;
  397. }
  398. }