Fixes #3703: Add user manual link in page header
Merge pull request #242 from fanf/ust_3692/dev/3703_add_user_manual_link_on_top_right_of_page

Fixes #3703: Add user manual link in page header