"sticky" looks worse to me on that example page --- I have to scroll to the bottom of all the set docs before I can read the navbar
On 2/18/21, Yury Bulka <[email protected]> wrote: > 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. > -- 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/CAFUu9R6DYLfFQdWhUEg-GZQ_GdFu9nvG_%2BuFkxLMv2-ndrhFHA%40mail.gmail.com.
