13 Commits

Author	SHA1	Message	Date
Tony Garnock-Jones	f28ae51215	Style tweak	2022-06-19 21:10:49 +02: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)