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%2BQLm6vHNZ4WML3qf_syO5Eg%40mail.gmail.com.
