import * as openpgp from "https://deno.land/x/openpgp@v5.3.1/docs/scripts/prettify/lang-css.js";