tree 04f1d0493590e93595e03206defbc94c88178169
parent d8c950be309bcabac75213b793d95b883871470a
author James Wainwright <james.wainwright@lowrisc.org> 1678193360 +0000
committer Greg Chadwick <mail@gregchadwick.co.uk> 1678794694 +0000

[site] Extract website header, footer, and theme changer to separate files

Allows them to be reused in other pages on the site.

Signed-off-by: James Wainwright <james.wainwright@lowrisc.org>