This PR improves the alignment of tags in the header.
Note how misaligned the tag community is.
This is essentially the only notable visual change in the PR.
The PR also includes a few commits that do not cause any visual changes, namely
- removal of a number of duplicate / unused styles
- the addition of a class to the
extra-info-wrapperto avoid using a tag-name selector in CSS