Visual highlight glitch

[KN4CK3R]

Description

On the PR file page the file highlight border is not hidden.

Screenshots

(on the right side of the button)

Browser Version

Firefox 118

[silverwind]

You mean hide behind the sticky header? I imagine we could enlarge it to 100% width.

[KN4CK3R]

Yes, if you scroll down the border scrolls into the header. The top border is hidden.