/* This file is generated, CSS is injected via JS style tag for isolation in this context, 
   but standard practice would be a separate file. See .js file for content. */