class DocumentElement extends HTMLElementimport { DocumentElement } from "https://deno.land/x/caviar@2.4.8/deps.ts";