Jake Howard edb58b0340 Cleanup some unused shortcodes ... Or at least, just vendor them in if they're used just once		2020-05-19 20:52:39 +01:00
..
gist.html	Lower spacing on gist titles	2018-05-06 18:03:07 +01:00
mermaid.html	Use mermaid.ink service rather than mermaid js	2020-04-10 17:56:03 +01:00
repobutton.html	Lighten repo button	2019-04-28 15:15:14 +01:00
resource.html	Widen figures slightly	2020-04-12 22:24:47 +01:00