Website theming #18

Open

Labels

opened

on Mar 21, 2023

Adding border-radius to menu to fit website theme
Use transition: ease-in on hover for certain areas like the menu, the Download buttons, etc.
(Dark mode -> Dark theme #10 )

Metadata

Assignees

No one assigned

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests