deploy webservice static-file routing for docsite folder URLs, per-instance step-cache db, and constant-height panel title bars.

This commit is contained in:
2026-08-27 14:51:37 +08:00
parent 1fc510af5e
commit 2a98ae7556
1468 changed files with 182837 additions and 18888 deletions
@@ -1,2 +1,2 @@
{"items":[{"name":"Overview","href":"index.html","topicHref":"index.html"},{"name":"Machine Tool","href":"machine-tool.html","topicHref":"machine-tool.html"},{"name":"Anchor","href":"anchor.html","topicHref":"anchor.html"},{"name":"Coolant","href":"coolant.html","topicHref":"coolant.html"},{"name":"Controllers","items":[{"name":"Heidenhain","href":"controller-heidenhain.html","topicHref":"controller-heidenhain.html"},{"name":"ISO / General NC","href":"controller-iso.html","topicHref":"controller-iso.html"}]},{"name":"Cutting Tools","items":[{"name":"Cutter","href":"cutter.html","topicHref":"cutter.html"},{"name":"APT Tool","href":"apt.html","topicHref":"apt.html"},{"name":"Insert Cutter","href":"insert-cutter.html","topicHref":"insert-cutter.html"},{"name":"Smart Tool Holder","href":"smart-tool-holder.html","topicHref":"smart-tool-holder.html"}]}]}
{"items":[{"name":"Overview","href":"index.html","topicHref":"index.html"},{"name":"Project Data Checklist","href":"project-data-checklist.html","topicHref":"project-data-checklist.html"},{"name":"Machine Tool","href":"machine-tool.html","topicHref":"machine-tool.html"},{"name":"Anchor","href":"anchor.html","topicHref":"anchor.html"},{"name":"Program Zero Alignment","href":"program-zero-alignment.html","topicHref":"program-zero-alignment.html"},{"name":"Coolant","href":"coolant.html","topicHref":"coolant.html"},{"name":"Controllers","items":[{"name":"Heidenhain","href":"controller-heidenhain.html","topicHref":"controller-heidenhain.html"},{"name":"ISO / General NC","href":"controller-iso.html","topicHref":"controller-iso.html"}]},{"name":"Cutting Tools","items":[{"name":"Cutter","href":"cutter.html","topicHref":"cutter.html"},{"name":"APT Tool","href":"apt.html","topicHref":"apt.html"},{"name":"Insert Cutter","href":"insert-cutter.html","topicHref":"insert-cutter.html"},{"name":"Smart Tool Holder","href":"smart-tool-holder.html","topicHref":"smart-tool-holder.html"}]}]}