Change doc HTML theme
Merge pull request #689 from vdumoulin/theme

Change doc HTML theme