490 commits

Author	SHA1	Message	Date
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
Sören Weber	7f3fbe1753	theme: fix race condition for nested articles #308	2022-07-11 23:52:59 +02:00
Sören Weber	b8a49da2f5	theme: robust way to determine output format #308	2022-07-11 00:59:26 +02:00
Sören Weber	d60c2988f2	theme: fix dependencies for nested output formats #308	2022-07-10 01:25:38 +02:00
Sören Weber	8d19b3b484	theme: avoid JS errors if an output format loaded not all files #308	2022-07-09 19:46:39 +02:00
Sören Weber	775e5c0e9e	theme: remove most special cases for PRINT output format #308	2022-07-09 18:42:20 +02:00
Sören Weber	3d20008b8e	theme: rework logic for nested dependencies #308	2022-07-09 16:38:28 +02:00
Sören Weber	33947ae861	theme: allow overriding partials for output formats #308	2022-07-09 16:33:53 +02:00
GitHub Actions Bot	e1e3ef0b84	Mark non-release version	2022-07-07 22:51:18 +00:00
GitHub Actions Bot	3e226eb543	Ship tag 5.0.3	2022-07-07 22:51:14 +00:00
GitHub Actions Bot	486e37348d	Mark non-release version	2022-07-07 22:32:59 +00:00
GitHub Actions Bot	030d0c2d35	Ship tag 5.0.2	2022-07-07 22:32:55 +00:00
Sören Weber	48c47fd154	theme: load styles if no JS available #303	2022-07-08 00:29:51 +02:00
GitHub Actions Bot	4717addf07	Mark non-release version	2022-07-07 22:18:20 +00:00
GitHub Actions Bot	21e54995af	Ship tag 5.0.1	2022-07-07 22:18:16 +00:00
Sören Weber	34f316d59e	theme: optimize loading of js and css #303	2022-07-08 00:10:17 +02:00