doc: Use theme and extensions from JuliaDoc