9 commits

Author	SHA1	Message	Date
Eelco Dolstra	1d0a7b54fa	Enable syntax highlighting	2020-07-31 15:43:25 +02:00
Eelco Dolstra	05a282295f	Fix internal links	2020-07-24 15:46:16 +02:00
Eelco Dolstra	da3d776cb9	Fix some dangling references	2020-07-24 14:31:33 +02:00
Eelco Dolstra	8d0b311a1c	Get rid of footnotes ... Markdown doesn't support them.	2020-07-24 11:43:44 +02:00
Eelco Dolstra	802150f987	<replaceable> -> <emphasis> ... Pandoc doesn't know <replaceable> so let's force it to be rendered as italics.	2020-07-23 18:27:20 +02:00
Eelco Dolstra	136fd55bb2	Get rid of <figure>	2020-07-23 18:27:20 +02:00
Eelco Dolstra	ca130b73a0	Get rid of <example> ... Markdown doesn't have floats so we can't have this.	2020-07-23 18:27:20 +02:00
Eelco Dolstra	f390303566	Reconvert	2020-07-23 18:27:11 +02:00
Eelco Dolstra	ef606760ab	Pandoc conversion	2020-07-23 18:26:48 +02:00