Modify how docs-assets/css/docs-ef.css gets generated.
Merge branch 'develop' into gh-pages