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 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  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
> >>  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...@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...@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/2fbd13ab-3e93-4145-a384-89f5e6da0839n%40googlegroups.com.


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 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  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
>>  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.


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 sense that it would keep itself within the
viewport).

--
Yury Bulka
https://mamot.fr/@setthemfree
#NotOnFacebook



Sam Tobin-Hochstadt  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
>  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.


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 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.


[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 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.