Fix and adjust misc HTML doc generation settings#9

kianmeng wants to merge 1 commit intogumi:mastergumi/simple_schema:masterfrom

myfloss:misc-doc-fixesmyfloss/simple_schema:misc-doc-fixesCopy head branch name to clipboard