Steve Purves

I've managed to work around this as follows, totally open to suggestions on a better way though, especially to avoid the hard type assignment. ``` // app-config.server.ts import { loadValidatedConfig...

Hi @zillionare - you can look here https://github.com/jupyter-book/myst-theme/blob/3a1b70b6f2a6b827effb60891f0e693c9bf65e05/packages/jupyter/src/jupyter.tsx#L84-L85 and here https://github.com/jupyter-book/myst-theme/blob/3a1b70b6f2a6b827effb60891f0e693c9bf65e05/packages/jupyter/src/plotly.ts to see what we are doing in react. Basically, you need to load the plotly extension and register it...

@zillionare ok - I think you are close, let me try and take React out of the picture. 1. don't load plotly.js, load jupyter-plotly's front end code. This happens on...

Thanks for reporting this @sglyon Looks like this might be specifically related to `thebe-lite` as that demo is using the juptyerlite/pyodide back end. this binder example works as expected: https://jupyter-book.github.io/thebe/binder.html...

@Nova38 no not on the renderer/theme/react side of things, this is part of the plugin framework that has yet to be fleshed out. +1 for `shikijs` being pure ESM though....

Does the Juptyerlab mime renderer use colors defined in `:root` ccs variables. Targeting those via JS might be a away to get colors to switch just now? To your question...

@artoftheblue are you suggesting that this styling is brought in as a default or that this is a fix that can easily be applied by a user to align styling...

Hi @bsipocz - it's difficult to see how mystmd would generate this error. How did you generate this exactly? when you say "Add notebook level metadata" how are you doing...

> This is actually a known pain point with JSON/YAML, and it's _really_ annoying. YAML understands and parses dates/times as timestamps. Without zonal information, I'm pretty certain they're supposed to...

most of this already exists within current themes certainly, in terms of the plumbing. Currently in notebooks there is a launch button that will bring up the jupyter server plus...