pub const THEME_JS_BASENAME: &str = "relaxng-schema-rustdoc-theme.js";Expand description
Filename of the runtime script (theme-boot, popover wiring,
in-page filter). Auto-prepended to --javascript when
--schemadocs is on. The orchestration shell copies the source
JS into $output_dir under the same basename so the relative
<script src> resolves.