CSS fixes

Includes:

- Decrease outdent of appendix slide down interp markers
- Fix landing page reg list on mobile
- Add definitions loading border
- Header tweaks
  - additional left margin for logo
  - better alignment of subheader
  - improved (though more fickle) vertical centering of mobile nav trigger
- Add spacing to inline interps