Fixes #3703: Add user manual link in page header

Add the "User manual" link in header. 

Also correct right spacing of Deployment status div, and vertical alignement of both user information and user manual.