I agree this is a useful improvement. I would consider using "position: sticky" instead of "position: fixed" as that is generally less "intrusive" to the layout and doesn't create a need for a second scroll bar (the element would scroll as needed with the main scrollbar, but still be sticky in the sense that it would keep itself within the viewport).
-- Yury Bulka https://mamot.fr/@setthemfree #NotOnFacebook Sam Tobin-Hochstadt <[email protected]> writes: > This seems like it would be a nice addition. I think starting with a > PR is the right place to begin. > > Sam > > On Wed, Feb 17, 2021 at 7:01 PM 'William J. Bowman' via Racket Users > <[email protected]> wrote: >> >> One of my students asked about making the Racket docs navbar sticky and >> scrollable, to help when navigating very long docs pages. I made a quick >> hack and deployed it here: >> https://www.students.cs.ubc.ca/~cs-411/docs/reference/sets.html >> >> Personally I've found it very useful. Would this change make sense for the >> Racket docs generally? (With some polish by someone who is better at UX than >> me?) >> >> To implement it, I just replaced `doc-site.css` with the following >> >> .navsettop { >> position: fixed; >> z-index: 1; >> background: #a7b0be; >> height: auto; >> } >> >> >> .tocset { >> position: fixed; >> overflow-y: scroll; >> height: 88%; >> } >> >> -- >> William J. Bowman >> >> -- >> You received this message because you are subscribed to the Google Groups >> "Racket Users" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to [email protected]. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/racket-users/YC2uQ3BJIsMJTsMP%40williamjbowman.com. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/87zh01ht4j.fsf%40privacyrequired.com.
