if we use an external css file, we have to specify the origin somehow. Originally the origin was calculated by a complex and unreliable string concatenation, we haven't thought of `location.origin` for some reason, and therefore we were thinking that using inline style like that would be better, because it's small.

I'd suggest that this goes in like that, because that works, and that we come back later on here to tackle this. I don't think this is critical.