Is there an alternative to Chrome Developer Tools for Chromebooks that have it disabled?

Question

I run an after-school coding club for kids who are learning to build their own projects using HTML, CSS, and Javasccript. We are using a browser-based IDE called theia.