jutty b4fa1d9126 Render node ID label only if it differs from the title		2025-12-21 15:32:45 -03:00
..
about.html	Add configuration options	2025-12-16 19:02:36 -03:00
base.html	Expand CSS, plus some minor templating tweaks	2025-12-20 21:29:04 -03:00
empty.html	Add configuration options	2025-12-16 19:02:36 -03:00
error.html	Add configuration options	2025-12-16 19:02:36 -03:00
index.html	Expand CSS, plus some minor templating tweaks	2025-12-20 21:29:04 -03:00
node.html	Render node ID label only if it differs from the title	2025-12-21 15:32:45 -03:00
tree.html	Add 'hidden' node attribute	2025-12-20 21:28:00 -03:00