I don't think we need to tell people that this is the navigation and having a without preceding it will warn on most/all style checkers. :PIf you want to keep it, make it a different element, but I'd prefer it gone.
Stupid reviewable. That was code. Not a literal ``. I didn't even close it. :<
Now the table is all the way up against the left edge of the browser with a margin still there on the right. I think it looks a bit awkward without any space at all on the left. With this PR: https://i.imgur.com/w1wFPFo.pngWith the responsive margin change undone: https://i.imgur.com/JCS9PdG.pngWith a change in `#content`'s margins <750px instead: https://i.imgur.com/3peGelb.pngChanging `#content`'s margins instead of the table's margins would also prevent the white block on the right (https://i.imgur.com/yoCfCTn.png) from covering up the table.
I mainly added this for the mobile view, which starts with a list of links which are not directly obvious. We could hide it on bigger screens.
I made this for the table on the main page, which works fine with this. I'd like to tackle the pull request table after this has been merged.The reason to do this is to use the maximum of space for the table on really small screens like a phone.We could lower the breakpoint value even more though to do this only on really small width.
Hiding it on bigger screens would be nice, regardless, it shouldn't be a ``. An ``, or something else would be fine.It also has to be moved to be before the `` as those should only contain ``s.
Fair enough. Removing the margins entirely is probably a good idea on the smaller devices. Let's keep at least .5em of margin for as long as we can though.