Fixed build

fixed the build error and updated the topdoc theme being used