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/CAK%3DHD%2BbTOjeUChyCwN3Zb6Z0f2vGh9zBa_zcD0NgN7W6OKbp3Q%40mail.gmail.com.
