Decrease size of all the header elements and hopefully fix scaling issues.
- For more on #14 (less done than I thought).