Top menu bar

The top bar (.top-bar-section) now uses flexbox instead of inline-block,
to make better use of space on smaller devices, as it doesn't have the
same issues with whitespace that inline-block causes.