update manual
Update with theme changes
update after fixing template
update after fixing template
add link to technical manual and manpages in index.html