/* Launch shell: the few rules that must apply before the application module has loaded its own stylesheet. A separate file rather than an inline