Merge branch 'master' into gh-pages
Small changes.
Fixed CSS for WebID link.
Merge branch 'gh-pages'