Hans Fast 4561924030 ori-templates: only show 'mode' banner for private -- shouldn't draw attention to this in public mode.		2026-03-25 16:22:48 +01:00
..
base_html.ori	ori-templates: only show 'mode' banner for private -- shouldn't draw attention to this in public mode.	2026-03-25 16:22:48 +01:00
indexPage.ori	spring cleaning	2026-03-25 08:36:44 +01:00
page.ori	ori-templates: put index links in <p>s to center	2026-03-25 16:20:33 +01:00
page.ori.html	spring cleaning	2026-03-25 08:36:44 +01:00
pageSummaries.ori.html	css,ori-templates: margin-inline on body > * instead of body to allow figures to grow	2026-03-25 10:13:15 +01:00