Page title sometimes overlapped by header

[dyunov]

If the browser window with DaRT is snapped to a side of the screen in Windows, the CSS can miscalculate the vertical height of the page title and obscure it by the header. An example in Edge on Windows (happens in other browsers too): Some zoom levels are not affected, and some are (100%–110%, 400%–500%).

[dyunov]

Fixed in https://github.com/rschwiebert/RingApp/commit/bea83cf3a66e395c3f201a75239b6fb48878bc2d: Noticed another pair of formatting problems on the $\Bbb Z[\sqrt{-5}]$ page (see "Reference(s):" and the width of the property name boxes). Might or might not be related to recent changes.

[rschwiebert]

What the heck? That's a weird one. Most other detail pages seem OK.... I wonder what's different about this one...

Actually, the responsive view looks perfect. This only seems to be an issue on the largest view in my laptop browser.

[rschwiebert]

This also looks terrible for R71

I'm thinking maybe that box needs to be its own row, and the references get moved down to row 2.

[dyunov]

And for $R{135}, R{138}$...

[dyunov]

On Android:

[dyunov]

I confirm that as of https://github.com/rschwiebert/RingApp/commit/bea83cf3a66e395c3f201a75239b6fb48878bc2d the second type of glitch in this issue does not occur anymore (unlike the original header one).