/** No custom CSS theme provided in ServerConfig **/