Jackson Harper 7cd1d65ce7 Header button fixes ...

- Completely disable the GitHub button when collapsed in header
- Point the name logo button to /login on the login page

2022-03-09 10:00:03 -08:00

..

elements

Header button fixes

2022-03-09 10:00:03 -08:00

patterns

Header button fixes

2022-03-09 10:00:03 -08:00

templates

Header button fixes

2022-03-09 10:00:03 -08:00

tokens

Improve the styling of URLs in highlighted text

2022-02-23 13:22:30 -08:00