Re: [racket-users] suppressing scribble-common.js in Scribble output

2020-07-02 Thread Matthew Flatt
I don't know if there's a way to suppress "scribble-common.js" except at the level of the rendering object --- that is, not something that can be done within the document, currently. Also, the initialization arguments that would replace "scribble-common.js" are probably not documented. There's a lo

[racket-users] suppressing scribble-common.js in Scribble output

2020-07-02 Thread Shriram Krishnamurthi
How does one suppress scribble-common.js? I really don't understand why the file loads for all Scribble langs — it contains things like search box support for documentation! In addition, it takes over the window.onload, overriding any previous content. About this, it has the following odd rema