Re: [racket-users] futures-sort update

2019-12-08 Thread Sam Tobin-Hochstadt
On Sat, Dec 7, 2019 at 11:03 AM Dominik Pantůček wrote: > > Hello Racketeers, > > I am continuing my work on cleaning up our private source code and > publishing it as a part of my futures-sort[1] package. Current state of > the package is: > > - configurable parallelism depth > - in-place

Re: [racket-users] Scribble output without navigation

2019-12-08 Thread Matthew Flatt
At Sun, 8 Dec 2019 23:18:45 +, "'Reuben Thomas' via Racket Users" wrote: > On Sun, 8 Dec 2019 at 17:07, Matthew Flatt wrote: > > > > > There's now a 'no-toc+aux style property to completely get rid of that div. > > > > That's good, thanks; but I see that the maincolumn div is still emitted,

Re: [racket-users] Scribble output without navigation

2019-12-08 Thread 'Reuben Thomas' via Racket Users
On Sun, 8 Dec 2019 at 17:07, Matthew Flatt wrote: > > There's now a 'no-toc+aux style property to completely get rid of that div. > That's good, thanks; but I see that the maincolumn div is still emitted, so there's still a left margin. (I'm sorry, I hadn't looked into the CSS before to work

Re: [racket-users] Scribble output without navigation

2019-12-08 Thread Matthew Flatt
At Sat, 7 Dec 2019 21:33:30 +, Reuben Thomas wrote: > On Fri, 6 Dec 2019 at 15:43, Matthew Flatt wrote: > > > Do 'no-toc and 'no-sidebar style properties on the main part help? Or > > does that still leave navigation elements that you want removed? > > > > That's a great improvement,