How public key is exported from a JWT

On this https://jwt.io/ application, you can paste a jwt and it returns you a public key. How is this public key generated, and how it is exported ? Is it contained inside the JWT and if yes how? In raw format?