Light mode, dark mode

Mantine defaults to light mode: defaultColorScheme defaults to light.

We may change it to dark or auto. auto is better because it follows the user's color scheme.

<MantineProvider defaultColorScheme="auto"></MantineProvider>