frontend/account: break up preferences

[haraldschilly]

• breaking up sections
• URL history: process path's like /settings/account/appearance
• more uniform styling
• switches. AntD docs:

The difference between Switch and Checkbox is that Switch will trigger a state change directly when you toggle it, while Checkbox is generally used for state marking, which should work in conjunction with submit operation.

There is no "submit" operation, like in a form. Each state change is saved immediately in the database without any further confirmation.

• terminal color preview
• smaller panels to group controls that belong together
• the "Profile" of a user is lifted out, top level
• "Settings" index page, to get a general overview

Bonus:

• cocalc dark & light themes
• hide/shrink menu on the left to make settings work a little bit better on mobile

status

screen-capture.11.webm

[haraldschilly]

feedback:

1. move "communication" up to its own preferences category
2. fix next.js dropdown menu links, e.g. fix the SSH key
3. andrey want's to have a separate profile section in the index just for the index

[haraldschilly]

1. move "communication" up to its own preferences category

done

2. fix next.js dropdown menu links, e.g. fix the SSH key

done

3. andrey wants to have a separate profile section in the index just for the index

due to 1, there would be an extra row in a 3 column view. so, not great. I changed it in such a way, that there is no header. all those cards are now in order, and only when it comes to payments, there is a divider. also, I slightly highlighted a few cards, to guide users to the presumably more common settings of higher importance.