gemini.filter.dpi

This is a Gemini (https://gemini.circumlunar.space/) plugin for Dillo.
Please refer to the Dillo documentation on how to install a plugin and
bind it to an URI scheme. In short, I have this:

	$ tail -n 1 ~/.dillo/dpidrc
	proto.gemini=gemini/gemini.filter.dpi

	$ ls ~/.dillo/dpi/gemini
	gemini.filter.dpi

	$ cat ~/.dillo/gemini/config.json
	{ "autoPin": true }

By default, the plugin prompts you to pin the certificate whenever you
visit a previously unknown host. The pinned certificates are stored in
~/.dillo/gemini/pinned. You can configure the plugin to override this
behavior by writing the following content to
~/.dillo/gemini/config.json :

	{ "autoPin": true }

or by copying the provided config.json to said location.

The plugin renders to plain, unstyled HTML, so it should be possible
to style the output in the standard Dillo way. The body used in
generated documents has the ID "gemini-plugin-body" so that you can
style just dillo in ~/.dillo/style.css. I currently use these rules
for a pleasant color scheme:

	#gemini-plugin-body {
		background-color: #fec;
		color: black;
	}

	#gemini-plugin-body div {
		padding: 2em;
		padding-top: 1em;
		padding-bottom: 1em;
	}


	#gemini-plugin-body h1,h2,h3,ul {
		margin: 0;
		padding: 0;
	}

	#gemini-plugin-body ul { margin-left: 1em; }

	#gemini-plugin-body h1 { color: #624; }
	#gemini-plugin-body h2 { color: #462; }
	#gemini-plugin-body h3 { color: #246; }