I have a case where some classes are going to be using Inform 7 as part of teaching coding and, as part of that, we have modified the styling. You can see what it looks like in the Inform 7 IDE:
Which looks really good. The problem is when they create a web-based version of the game for display (using Quixe) all of that work on styling is entirely lost:
Assuming that browser-based play is likely to be the standard operating procedure for these classrooms, I’m guessing it makes no sense to worry about Glulx styling (via Glulx Text Effects) but rather just modify the CSS as part of the interpreter. I tried generating the above in a Vorple interpreter to see if that mattered but I realized belatedly that Vorple and Glulx aren’t working together.
What I wanted to double-check is if I’m correct on that idea of just relying on the CSS rather than text styles via extensions? If I am right, it sounds like this would be re-work each teacher would have to do every time they compiled for release. (A challenge there is that they often modify examples on the fly for demonstration purposes.)