Re: [racket-users] confused about raco check-requires error

2017-11-21 Thread Ryan Culpepper
On 11/21/17 2:57 AM, Alex Harsanyi wrote: I'm trying to use the "raco check-requires" command to determine which requires I should remove from my source files, and the command fails when I include one of my files (the application compiles and runs fine). I managed to reproduce the case as

Re: [racket-users] minor proposed update to docs typography

2017-11-21 Thread Robby Findler
On Tue, Nov 21, 2017 at 9:44 AM, Matthew Butterick wrote: > > On Nov 21, 2017, at 3:32 AM, Robby Findler > wrote: > > That may have been done that way to make the docs.racket-lang.org page look > better (to draw your eye to the right manual). > > > I

Re: [racket-users] minor proposed update to docs typography

2017-11-21 Thread Greg Hendershott
> restricted to the TOC, but instead manifests globally. And, because it's > implemented with "font-weight: bold" and not a CSS class, it's difficult to > manipulate from outside (unless you employ the Hendershott Method) I object to using that name for such a weak hack. The full Hendershott

Re: [racket-users] minor proposed update to docs typography

2017-11-21 Thread Matthew Butterick
> On Nov 21, 2017, at 3:32 AM, Robby Findler > wrote: > > That may have been done that way to make the docs.racket-lang.org > page look better (to draw your eye to the > right manual). I figured. But hard-coding formatting inside

Re: [racket-users] minor proposed update to docs typography

2017-11-21 Thread Robby Findler
On Mon, Nov 20, 2017 at 11:25 PM Matthew Butterick wrote: > > On Nov 20, 2017, at 6:10 PM, Greg Hendershott > wrote: > > > > The following example hack _seems_ to clear the "impervious" hurdle? > > a.Sq span { font-weight: normal !important} > > I'm