Re: html structure revisited

[Gavin Smith]

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.