You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
On the source pages the header + subheader are too wide. I use a 13'' laptop and the "Jump To ..." menu is almost entirely covered. There is also a horizontal scroll bar. There have been times when this doesn't happen, but I couldn't figure out under what conditions it does. Maybe related to file order (some of the sources being wider)? Perhaps the width of the header, at least, can be fixed to equal that of the left-hand-side comments width + overflow style (for longer headers)?
The text was updated successfully, but these errors were encountered:
On the source pages the header + subheader are too wide. I use a 13'' laptop and the "Jump To ..." menu is almost entirely covered. There is also a horizontal scroll bar. There have been times when this doesn't happen, but I couldn't figure out under what conditions it does. Maybe related to file order (some of the sources being wider)? Perhaps the width of the header, at least, can be fixed to equal that of the left-hand-side comments width + overflow style (for longer headers)?
The text was updated successfully, but these errors were encountered: