5 Commits

Author	SHA1	Message	Date
AbdBarho	072190145b	Add global layout ... with the ability to be overridden per-page	2022-12-28 10:03:03 +01:00
Yannic Kilcher	6452bb860d	moved bot to discord-bot ... added playbook to deploy dev machine added playbook to deploy dev machine added next.js font module, updated fonts, updated login page replaced logos, changed logo on login and header added 404 and email confirmation pages, changed discord and github buttons to show conditionally also removed unused imports, fixed one spelling error, and minor styling changes Quick format to the authenticated user page, updated header with user profile, styling updates fixed html encoding added checkout for release re-vamped release config and ports	2022-12-25 11:35:54 +01:00
Lennon Puldagrealy	f2be89fc73	Add Prettier configuration. Run Prettier	2022-12-18 11:30:23 -08:00
Lennon Puldagrealy	ed47bcaa7a	Add Prettier. Remove unused Button component	2022-12-18 11:14:41 -08:00
Lennon Puldagrealy	a296f6ea99	Grading Page WIP & Homepage	2022-12-18 10:28:43 -08:00