Shrink header on mobile
Improve styling of page
Make header scroll away on mobile, only for SymPy Live