How to customize the indent size of TOC

[Honghe]

[ian-r-rose]

This value (currently 32px) is hard-coded into the style sheet for the extension. Right now, I can think of three ways to customize it:

1. Keep a custom version of the extension with this line set to your liking.
2. Make a JupyterLab theme extension, where you set --jp-private-toc-indent-width.
3. If you want a more temporary solution, you can load some CSS by opening a code console and entering

%%html
<style>
:root {
    --jp-private-toc-indent-width: 10px;
}
</style>

[Honghe]

Thx!