Re: modernizing html output

[Per Bothner]

On 1/28/19 12:05 PM, Gavin Smith wrote:
> On Tue, Jan 01, 2019 at 05:46:11PM -0800, Per Bothner wrote:
>
> diff --git a/js/info.js b/js/info.js
> index 10a2b1d..0175d35 100644
> --- a/js/info.js
> +++ b/js/info.js
> @@ -1170,7 +1170,7 @@
>         if (linkid === config.INDEX_ID)
>           {
>             hide_grand_child_nodes (ul);
> -          res = elem.querySelector ("a[name=\"" + linkid + "\"]");
> +          res = elem.querySelector ("a[id=\"" + linkid + "\"]");

I suggest trying just a simple "id selector":

          res = elem.querySelector("#" + linkid);

This should work on any element with a match 'id' attribute.
I'd like us to get away from using <a> element for link definitions.
For example (if we can get makenifo to DTRT):

   <div class="node" id="NODE-ID">...</div>
--
        --Per Bothner
address@hidden   http://per.bothner.com/