topoTEI menu button if there is no toc for document
5e7f9b81f9d2
Actions

Authored by steinech on Jul 3 2024, 11:47.

Description

topoTEI menu button if there is no toc for document

Committed

steinech

Jul 3 2024, 11:47

Pushed

steinech

Jul 3 2024, 11:47

Parents

rNIETZSCHEDMf86aa2aa9715: adaptive settings, topoTEI link

Branches

Unknown

Tags

Unknown

				Path
	M			data/D20_a11r_GM0109-10.xml
	A			data/D20_a8r_GM0105-06.xml
	M			modules/lib/pages.xql
	M			modules/map.xql
	M			resources/i18n/app/de.json
	M			resources/i18n/app/en.json
	M			resources/odd/surface.css
	M			resources/odd/surface.odd
	M			templates/menu.html
	M			templates/pages/surface.html
	M			templates/toolbar.html