Re: [Tools-discuss] Changed look and feel was Re: Upcoming change to the look of the datatracker

[Michael Richardson <[e-mail]>]

Carsten Bormann <[e-mail]> wrote:
    > On 2022-05-13, at 14:53, Andrew G. Malis <[e-mail]> wrote:
    >> 
    >> I don't see the menu bar "overlaying the content of the screen", it's
    >> always at the top of the window. I agree that it's using pixel space
    >> at the top of the window that could be used for content, but it's
    >> necessary.

    > I do see that.  Go at any page you would want to scroll through, e.g.,
    > https://datatracker.ietf.org/doc/rfc8628/ (any will do), and press the
    > space bar.

I tried this, imagining what the failure is...

    > The browser will page forward one screen page.  Unfortunately, the top
    > of the next screen page just revealed is hidden by the topbox, so you
    > have to scroll back by one line or two; the scroll command you need
    > becomes space-up-up or some such.

    > The exact nature of this gap does depend on the browser and how much it
    > already compensates for this widely seen misbehavior of web pages.  It
    > seems better in recent versions of Chrome and Firefox, so I mostly see
    > it in Safari these days.

yes, okay, on Chrome, Ubuntu, with a 1920x1080 display (might be relevant), the page
scrolls, and there are 5 lines of context.  That is, the top-most line after
scrolling is what was 5 lines from the bottom.
So I guess that this isn't something we can fix with different CSS.

    > (Fortunately, the bug is irrelevant on
    > mobile, as you scroll by swiping.  Now if only the page would fit
    > horizontally, so that swiping doesn’t create random horizontal
    > scrolling, hiding the left end of the page...)

I hate all reading on mobile.  The book readers are okay, but often still hopeless.
On an Amazon device, I find Google Play Reader works way better than the
kindle app, but it has funny notions about offline.  The major win is that
annotations wind up in your Google Drive as easily identifiable .json files.
Alas, converting/uploading RFCs and IDs isn't something I've figured out how
to automated yet.

I wonder who we have to bribe to add: "IETF" to
https://play.google.com/store/books as a free source.
(It already knows about the Baen free books...)
I *did* look under Self-Help.


-- 
Michael Richardson <[e-mail]>, Sandelman Software Works
 -= IPv6 IoT consulting =-