15:50
No, it's not bad...let's say: unusual nowadays. But again, I like the retro style. That's what good marketing is all about: being different. It's just a bit too much here and there.
The "overlined" font, for instance. That's very creative, in general. But if used in full text it looks like an underlined link in the line above. That's confusing for visitors who know that hyperlinks are usually underlined on web pages.
And another point to the I, II, III linking. Imagine someone with a tablet or even on a smart phone who tries to follow these links under a rather small, single character or even 3 groups of such characters side by side.
I tried it on my 10" tablet right now. The page with its green on black looks better, even great (for me) there in general (since it fills the whole screen space).
The red font i still a prob there. The small linked chars, the dark on grey font color and the overlined links, too.
I can't read the dark grey text in the bottom line without zooming, for instance.
With that said perhaps you understand why I consider equations formatted as code as utterly ugly. Given that there is an alternative in HTML that has been invented for a reason.