Some behaviour changes.
Move DocsRoot to repo. Extract CSS from HTML so as to be able to move CSS later.