Custom themes #2
Description
Custom themes (colors, fonts, custom css) for terminal view and UI (shadcn-ui variables), etc. We should make our site use design tokens for common tokens, if not already, and then make a list of them for our site themes system, which will hopefully be CSS variables. First custom theme will be ports of @catppuccin/palette (https://github.com/catppuccin/palette) aka mocha, frappe, macchiato.