Re: [racket-users] Sticky scrollable nav bar in docs

2021-02-19 Thread jackh...@gmail.com
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 wrote: > > I

Re: [racket-users] Sticky scrollable nav bar in docs

2021-02-18 Thread Ben Greenman
"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 wrote: > I agree this is a useful improvement. I would consider using "position: > sticky" instead of "position: fixed" as that is generally

Re: [racket-users] Sticky scrollable nav bar in docs

2021-02-18 Thread Yury Bulka
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

Re: [racket-users] Sticky scrollable nav bar in docs

2021-02-18 Thread Sam Tobin-Hochstadt
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 wrote: > > One of my students asked about making the Racket docs navbar sticky and > scrollable, to help when navigating

[racket-users] Sticky scrollable nav bar in docs

2021-02-17 Thread 'William J. Bowman' via Racket Users
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