package odb-server
val doc : Odb_doc.tool_doc
val tool : Odb_tools.tool
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
val doc : Odb_doc.tool_doc
val tool : Odb_tools.tool