/* Disabled: the custom index.html replaces the default dashboard,
   so the teal override theme is no longer applied. */