Commit Graph

22 Commits

Author SHA1 Message Date
Tony Garnock-Jones d638555239 Cosmetic rearrangement of cheatsheets 2023-11-01 15:30:23 +01:00
Tony Garnock-Jones c18e9dd1fe Tweaks 2023-10-31 18:06:05 +01:00
Tony Garnock-Jones 6a56dad886 Better responsiveness 2023-10-17 10:01:07 +02:00
Tony Garnock-Jones 04e1c1b0b1 Fix cheatsheet style on small screens 2023-10-17 02:01:23 +02:00
Tony Garnock-Jones 9f0217b22a Tiny tweak 2023-10-17 01:03:56 +02:00
Tony Garnock-Jones 0f08461ccc More tweaks and repairs 2023-10-17 01:00:54 +02:00
Tony Garnock-Jones 3360e013a4 Work on cheatsheets 2023-10-17 00:31:10 +02:00
Tony Garnock-Jones 18dd532df2 Fix anchor link scrolling behind navbar 2023-03-17 20:57:03 +01:00
Tony Garnock-Jones 8c28dfa3ae Cosmetic 2023-03-17 20:56:52 +01:00
Tony Garnock-Jones 108119a351 Fancy nav, plus craiyon logo! 2023-03-17 12:02:27 +01:00
Tony Garnock-Jones 4528100248 Update PDF generation 2022-06-18 21:51:09 +02:00
Tony Garnock-Jones bb878bab46 Repair css 2022-06-10 16:05:35 +02:00
Tony Garnock-Jones b332f2668e Begin sketch of Preserves Schema semantics 2022-06-09 21:30:56 +02:00
Tony Garnock-Jones 9ba8617952 Attempt to clarify Preserves Schema relationship to host-language types. 2022-06-09 14:59:53 +02:00
Tony Garnock-Jones ccf4f97ed8 Repair CSS problem exposed by recent Firefox update 2020-12-28 21:52:47 +01:00
Tony Garnock-Jones 8e0ab95d82 Autodetectability of binary vs text; documented test case schema a little 2020-05-13 12:56:13 +02:00
Tony Garnock-Jones 383824c5e0 CSS tweaks for mobile 2019-10-08 18:43:38 +01:00
Tony Garnock-Jones 0a537b73ed Tweak print stylesheet. 2019-10-08 14:45:58 +01:00
Tony Garnock-Jones 9f61059449 Proper layouting 2019-08-18 22:08:55 +01:00
Tony Garnock-Jones 7d2ffe640d Title, stylesheet link, highlighter config, and simple approximate highlighting 2019-08-18 16:39:53 +01:00
Tony Garnock-Jones e2b859e55d Major revision of binary syntax: placeholders; annotations; forbid empty format-C chunks 2019-07-13 22:20:22 -04:00
Tony Garnock-Jones 83fa396b56 Rearrange repo 2018-09-29 17:27:59 +01:00
Renamed from preserve.css (Browse further)