On Sun, Feb 14, 2021 at 12:58:31PM -0800, Per Bothner wrote: > > * What is the point of <div class="node">? > > It does have a separate id "anchor": > > <div class="section" id="Python-tips"> > <div class="node" id="Python-tips-1"> > > However, it doesn't look like the node links are actually used for anything. > Maybe if an index is generated?
I don't know either but it would need investigating. I changed them back to <span> with an id attribute as that is how it was before.
