[eyerony]

Oh is that what it is? I was trying to figure out why it looked so bad when not zoomed uncomfortably far "in", when I didn't recall that ever being a problem before. I think that's it.

Ugh now I can't un-see how much farther it is to mouse from the repo "body" to menu items (including those associated with the repo, which are now, confusingly, disconnected from it visually) now. Thanks for that.