"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 <setthemf...@privacyrequired.com> 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 <sa...@cs.indiana.edu> 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 >> <racket-users@googlegroups.com> 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 racket-users+unsubscr...@googlegroups.com. >>> 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 racket-users+unsubscr...@googlegroups.com. > 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 racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/CAFUu9R6DYLfFQdWhUEg-GZQ_GdFu9nvG_%2BuFkxLMv2-ndrhFHA%40mail.gmail.com.
