This is great! Definitely send a PR for this. On Thursday, February 18, 2021 at 4:56:23 PM UTC-8 Ben Greenman wrote:
> "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/2fbd13ab-3e93-4145-a384-89f5e6da0839n%40googlegroups.com.
