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