505 commits

Author	SHA1	Message	Date
GitHub Actions Bot	67245232d0	Mark non-release version	2022-10-08 20:57:11 +00:00
GitHub Actions Bot	3b07158344	Ship tag 5.3.2	2022-10-08 20:57:06 +00:00
Sören Weber	bd70949313	nav: change defunct keyboard shortcuts #344	2022-10-08 22:50:14 +02:00
GitHub Actions Bot	e63c3c1f7a	Mark non-release version	2022-10-08 19:47:43 +00:00
GitHub Actions Bot	5fb1ad739a	Ship tag 5.3.1	2022-10-08 19:47:39 +00:00
GitHub Actions Bot	95420afdd2	Mark non-release version	2022-10-07 20:26:41 +00:00
GitHub Actions Bot	75ec08e13e	Ship tag 5.3.0	2022-10-07 20:26:36 +00:00
Sören Weber	7c5586abab	print: fix links of subsections #340	2022-10-07 22:02:48 +02:00
Sören Weber	e898edfbef	theme: remove W3C / WCAG validator errors #337 #307	2022-10-07 20:45:14 +02:00
Sören Weber	9a6e8edacc	mermaid: remove W3C validator errors #337 ... remove old-styled alignment	2022-10-07 20:25:44 +02:00
Sören Weber	f06fef8d3c	mermaid: remove W3C validator errors #337 ... escaping of special characters is omitted resulting in illegal content, safeHTML does escape too much, so we revert it partly	2022-10-07 20:08:12 +02:00
Sören Weber	5090541ae0	children: remove W3C validator errors #337 ... if tree nesting with a depth > 1 is used, tags are in wrong order	2022-10-07 20:05:49 +02:00
Sören Weber	f2338e63f1	swagger: improve print version II #333	2022-10-06 22:29:55 +02:00
Sören Weber	74f7ec4571	swagger: improve print version #333	2022-10-06 15:48:10 +02:00
Sören Weber	8546871931	swagger: fix download button overflow #334	2022-10-06 14:34:11 +02:00
Sören Weber	b9249493c4	a11y: label for submenu expander #307	2022-10-06 01:09:58 +02:00
Sören Weber	da25f7d13f	a11y: add lang attribute for language selector #307	2022-10-04 23:52:50 +02:00
Sören Weber	5f34d107d0	a11y: move label for select boxes #307	2022-10-04 22:18:54 +02:00
Sören Weber	430f928f35	a11y: label for select boxes #307	2022-10-04 21:58:14 +02:00
Sören Weber	7623f79f5e	a11y: fix text for searchbox label #307	2022-10-04 21:57:20 +02:00
Sören Weber	47fb99e08d	a11y: label for searbox #307	2022-10-04 21:53:55 +02:00
Sören Weber	669323f00c	a11y: remove superfluous title attributes #307	2022-10-04 15:32:33 +02:00
GitHub Actions Bot	b429be3ee1	Mark non-release version	2022-10-02 22:33:53 +00:00
GitHub Actions Bot	9d20a84d45	Ship tag 5.2.4	2022-10-02 22:33:48 +00:00
Sören Weber	5e1f07c03c	theme: make HTML5 compliant #329	2022-10-03 00:24:37 +02:00
Sören Weber	583dd0c97a	theme: revised schema.org breadcrumb navigation #329 ... to get rid of HTML validation errors and remove descending positions	2022-10-03 00:07:28 +02:00
Sören Weber	c0f1f7fa60	theme: remove HTML validator errors #329	2022-10-02 22:32:51 +02:00
GitHub Actions Bot	82736347ea	Mark non-release version	2022-09-12 18:01:06 +00:00
GitHub Actions Bot	d339c49dfc	Ship tag 5.2.3	2022-09-12 18:01:01 +00:00
GitHub Actions Bot	ff36c4975e	Mark non-release version	2022-08-23 19:11:38 +00:00
GitHub Actions Bot	6a771d167d	Ship tag 5.2.2	2022-08-23 19:11:32 +00:00
GitHub Actions Bot	f051b63b6d	Mark non-release version	2022-08-05 21:55:48 +00:00
GitHub Actions Bot	503c2a1fdd	Ship tag 5.2.1	2022-08-05 21:55:43 +00:00
Sören Weber	3c9ff888cb	nav: prev/next ignores ordersectionby #320	2022-08-05 23:52:16 +02:00
GitHub Actions Bot	58b35513c6	Mark non-release version	2022-08-03 17:33:57 +00:00
GitHub Actions Bot	145820784e	Ship tag 5.2.0	2022-08-03 17:33:53 +00:00
GitHub Actions Bot	4fa8856524	Mark non-release version	2022-07-18 06:59:02 +00:00
GitHub Actions Bot	ebe0f7419a	Ship tag 5.1.2	2022-07-18 06:58:57 +00:00
Sören Weber	2d0928ac4e	theme: wildspace	2022-07-18 01:31:15 +02:00
Sören Weber	59d338325c	theme: noscript loading of fonts	2022-07-18 01:17:25 +02:00
Sören Weber	8f59c36e10	mermaid: remove console warnings in IE11 #308	2022-07-17 19:52:23 +02:00
Sören Weber	8f6e091a65	mermaid: header is showing up in FF #311	2022-07-17 19:42:07 +02:00
GitHub Actions Bot	6ae8b4f790	Mark non-release version	2022-07-15 20:25:00 +00:00
GitHub Actions Bot	c15067429b	Ship tag 5.1.1	2022-07-15 20:24:55 +00:00
Sören Weber	000b399e0c	tags: don't count tags if page is hidden #310	2022-07-15 21:36:41 +02:00
GitHub Actions Bot	3abd1225e5	Mark non-release version	2022-07-15 13:20:43 +00:00
GitHub Actions Bot	db4338a8b6	Ship tag 5.1.0	2022-07-15 13:20:37 +00:00
Sören Weber	43600a39d7	theme: respect output format suffix #308	2022-07-15 14:07:48 +02:00
Sören Weber	55f7624fe4	theme: also make content format-aware #308	2022-07-14 18:21:46 +02:00
Sören Weber	c73d64b0a7	theme: move essential call to page-meta to prominent location #308	2022-07-12 00:24:57 +02:00