Oh!!! :O thank you for letting me know. I was not aware of that bug. I checked and it seems that not always happens, but definitively it happens sometimes. I'll research a bit what could be origin of the problem and fix it as soon I identify it. Sorry for the inconveniences.

Update (18/04/2025): I think I found the issue and fixed it. It should be working as expected as soon it is updated. Thank you again for letting me know about the issue.

Hi, thank you very much for your comment.

The problem with the font being very small is that some time ago I thought it could be good to set the font size style using "rem" units (thinking of the user default font-size), but I didn't expect that a really big amount of websites (and web applications) set the default font-size of the root element to a very low value. :( Those sites then use bigger values in their font-sizes, so they compensate it. I am working in some small fixes that I'll release soon, and it is probable that one of them will be related with this.

Thank you again for your feedback and also for mentioning this problem.

Hi Nando, glad that you find it helpful. And I fully agree with your opinion about having it as part of a sidebar. The first version (many years ago) was made that way and I had to change it because changes in the way in which the browser works. As advantage is that now it is compatible with other browsers, but the drawback is that it does not stay open when browsing. I am really considering alternatives to make it work integrated in a sidebar or even as dev-tools.

Thanks again for your comment

Ups, true. I just updated its content. I already did it when uploaded this version, but my fault, it seems that the change was not submitted. Thanks for letting me know

Hi Sebastien. First of all, thank you for your feedback. Regarding to your comments:

* Yes, the header was highlighted when clicking on the correspondent one in the panel (I have to recover the feature -most probable as option-... since the whole extension was refactored almost from scratch, there are features that are still pendant of being added/recovered). So thank you for commenting it because helps me in the prioritization of tasks

* I would like to know the use case for retrieving the headers structure for the HTML that is not modified by javascript. The tools is initially meant for giving the structure that the browser renders, so the one that the HTML has without any behavioral change was not considered. In order to consider implementing that feature, I would like to know and understand the use case. Could you please give me some feedback on it?

Again, thank you very much for your feedback and comments.