/* Layout and loading-screen styling are embedded in index.html. */