Bug: Table of contents text width changes on hover

[fuglede]

When hovering the cursor above a link to a subpage in the table of contents in the sidebar on the optimization tutorial on the demo site, the width of the text appears to change, which causes the text to wrap differently. This change in width in turn can mean that the link is no longer hovered, which makes it very finicky to actually click the link. In particular, this happens with the link to subsection 5.1.

On a similar note, and this is really just a matter of taste, I'm not personally a huge fan of the changes in colouring that happen when hovering: Changing the background color doesn't work well with the inline code blocks, and the margin-less dark blue pillars that are added on hover also don't seem to add much. I would prefer if the style change was limited to what's done on the existing site: The text being underlined with a slight change in tint.