Manichand Kondapaka

> It looks from the screencast like that's working -- it hides and shows, right? > > But, I think it's key that this work without the `aspect-ratio-helper.py` being enabled....

> Yes, I think putting it in the .js and/or .css files is the right solution. And it will only be a problem if we push it before it's done...

If you are ok to comment code and push then , I will make it work.

OH MY BAD English😅 , What I am saying is that, If we write the red box styles in `theme/book.js` it will effect the user but if we comment them...

We can uncomment them in developing mode and use it.

> The reason for this bug is to not have to uncomment anything in order to see the red box, so that wouldn't be a fix to the bug. We...

How about adding a button in right side navbar for showing or hiding red box. **button will be set to hide red box on default**. PS ; Not sure that's...

may be adding a new theme named as dev. for showing redvbox

> A new theme is an interesting idea -- want to try that out? > Yes, I will try it out and let you know.

Hello @djmitche , Check once . Any changes. https://github.com/google/comprehensive-rust/assets/65899331/73feb008-d7f5-4883-95fc-84021620000a