Closed lucaboesch closed 11 months ago
If you are going to do this Luca, please separate the commit fixing CI from the one making the real change.
Also, if you are going to try to fix our CI, you need to fix our CI.
Please apologize, @timhunt Now my contribution is fixing just that hover underline. Best, Luca
Hmm. This is not a completely obvious merge, because having the whitespace inside the link is probably better usability. Obviously, there are other ways to fix this, like padding instead of a space, but that will need thought.
Thanks Luca.
This gets rid of this unneeded underline when hovering in the list of queries.