Header buttons guaranteed to be visible on small devices
Move documentation in separate html files