Do 'no-toc and 'no-sidebar style properties on the main part help? Or does that still leave navigation elements that you want removed?
At Fri, 6 Dec 2019 10:31:56 -0500, Sam Tobin-Hochstadt wrote: > Is there a reason that not showing it is a problem, relative to not > having it in the HTML? The CSS approach is quite easy. > > Sam > > On Fri, Dec 6, 2019 at 5:18 AM 'Reuben Thomas' via Racket Users > <racket-users@googlegroups.com> wrote: > > > > On Thu, 5 Dec 2019 at 14:47, Sam Tobin-Hochstadt <sa...@cs.indiana.edu> > wrote: > >> > >> The usual way I've done this is with some custom CSS to set the > >> navigation to "display: none". > > > > > > Thanks. I would really prefer not to have the navigation apparatus, so I > guess post-processing the output is the only thing I can do without some > serious work on Scribble itself? > > > > -- > > 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/CAOnWdoiLGMFP_V%3Drh0myODK2Z9M%2 > BQLm6vHNZ4WML3qf_syO5Eg%40mail.gmail.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%2BZ18Bo%2BM68u_JvREXAh5 > u_Dd-%2BCGth-i0CDP5HJvfmkYw%40mail.gmail.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/20191206154326.4DF06650194%40mail-svr1.cs.utah.edu.
