705 commits

Author	SHA1	Message	Date
Sören Weber	5099b5b73c	tags: taxonomy layout with headings all on the left #530 ... and columned lists like in the terms page for a more concicse look	2023-05-19 12:59:06 +02:00
Sören Weber	53093085bd	tags: leverage space in terms layout #530	2023-05-19 10:15:20 +02:00
Sören Weber	55549897c5	tags: leverage space in taxonomy layout #530	2023-05-19 09:54:14 +02:00
Sören Weber	b19b9feaa7	variant: avoid leaking shadows in neon print style #524	2023-05-14 23:27:41 +02:00
Sören Weber	06d35bbbdb	openapi: replace implementation with swagger-ui #523	2023-05-14 23:05:07 +02:00
Sören Weber	b11969b3d0	menu: avoid hiding of expander on hover when active item has children #520	2023-05-04 21:19:11 +02:00
Sören Weber	cf589941a0	menu: showVisitedLinks not working for some theme variants #518	2023-05-04 20:57:53 +02:00
Sören Weber	fbec0ece8f	expand: don't handle expand as task list in bullet point list #508	2023-03-28 19:52:56 +02:00
Sören Weber	eaa4580500	menu: fix state for alwaysopen=false + collapsibleMenu=false #498	2023-03-03 20:27:47 +01:00
Sören Weber	2f2231ad8e	variant: make browser theme a css variable #494 ... missing files	2023-02-26 12:52:16 +01:00
Sören Weber	42fcbc3084	variant: make browser theme a css variable #494	2023-02-26 12:47:12 +01:00
Sören Weber	2c14c6106a	generator: fix setting of colors #494	2023-02-26 12:11:57 +01:00
Sören Weber	5129da50a3	variant: add relearn bright theme #493	2023-02-25 22:50:37 +01:00
Sören Weber	77e790885b	menu: fix minor padding of select boxes	2023-02-25 18:58:05 +01:00
Sören Weber	5f19b0f616	i18n: fix tooltip alignment after last change #492	2023-02-25 00:32:30 +01:00
Sören Weber	27bb276909	i18n: write code ltr even for rtl languages #492	2023-02-25 00:05:38 +01:00
Sören Weber	c0a1c9cbcb	menu: rebuild collapsible expander #466 ... because sizing and positioning was a mess; the follwing things are fixed with this: - resizes and positions correctly according to html elements font-size - IE11 compatiblity is now given - a11y: expander is now correctly given a focus outline - chevron is now coded into html instead of a css content value, which makes it easier to change (was an issue in the past) - the visited checkmark now breaks correctly on long lines and hides behind the text if necessary - some more css classes were introduced to make further extensions (eg. nested shortcut links) easier	2023-02-24 23:29:33 +01:00
Sören Weber	68e89ca171	anchor: fix link in FF when served from filesystem #482	2023-02-20 13:54:45 +01:00
Sören Weber	bbd322bbf8	frontmatter: support VSCode Front Matter extension #481	2023-02-20 00:20:37 +01:00
Sören Weber	0e0b3bb2fb	shortcodes: don't break build and render for invalid parameters #480	2023-02-19 23:09:51 +01:00
Sören Weber	41118f0046	menu: further sizing adjustments #466	2023-02-17 15:07:57 +01:00
Sören Weber	f7d19ae4cc	auto-complete: always use light color for scrollbar #471 ... as long as the colors aren't configurable	2023-02-17 10:21:35 +01:00
Sören Weber	8b2380da2d	theme: fix content max width #466	2023-02-14 21:39:31 +01:00
Sören Weber	959ed155c4	auto-complete: switch to em units #466	2023-02-14 21:16:39 +01:00
Sören Weber	4b7409f31c	theme: switch layout and menu to rem units #466	2023-02-14 20:28:11 +01:00
Sören Weber	09e7aebcd8	nav: fix initial positioning on content pages #476	2023-02-12 14:10:55 +01:00
Sören Weber	a40e3685d4	theme: fix some sizing issues in content on small font sizes #466	2023-02-12 11:31:20 +01:00
Sören Weber	c7a819323a	nav: restore scroll position on browser back #476	2023-02-12 09:35:50 +01:00
Sören Weber	02e81b6e4b	scrollbar: remove debug log #471	2023-02-11 00:05:02 +01:00
Sören Weber	0cc5ff2db6	variant: set color for perfect scrollbar #471	2023-02-10 17:03:18 +01:00
Sören Weber	8e4b7cddc5	scrollbar: update in next frame ... the high timeout caused glitches so we assume the width has been settled in the next animation frame + plus some surplus #470	2023-02-10 17:02:33 +01:00
Sören Weber	11e7df31a7	variant: set browser scrollbar color to dark for dark variants #471	2023-02-10 00:50:13 +01:00
Sören Weber	d62e2f7e0e	i18n: full support for RTL #470	2023-02-10 00:34:47 +01:00
Sören Weber	890d12ea92	i18n: move sidebar to the right in RTL #470	2023-02-09 08:31:38 +01:00
Sören Weber	09ea211204	expand: simplify RTL support	2023-02-09 01:02:06 +01:00
Sören Weber	381b74f837	i18n: add RTL support for nav bar and child items #470	2023-02-09 00:53:11 +01:00
Sören Weber	5d9e1b6d47	piratify: fix expand and tabs for Pirates RTL #469	2023-02-08 21:59:28 +01:00
Sören Weber	56bc99b79a	tabs: nested tabs content is not displayed #468	2023-02-07 18:06:34 +01:00
Sören Weber	fbdb71e6fa	responsive: switch to rem units for scalable sizing #466	2023-02-07 00:32:28 +01:00
Sören Weber	bc135b4b4c	generator: stop editing of Auto variant early to avoid console errors #445	2023-02-05 11:40:47 +01:00
Sören Weber	a046b9300f	mermaid: make zoom configurable #144	2023-02-05 11:13:03 +01:00
Sören Weber	5babf80537	lightbox: close on ESC #451	2023-02-04 23:12:40 +01:00
Sören Weber	6d90be3015	browser: fix broken inline clipboard buttons after IE11 refactor #452	2023-02-04 22:50:19 +01:00
Sören Weber	7de76ad337	browser: IE11 from hell #452	2023-02-04 16:53:05 +01:00
Sören Weber	9783b8af0f	browser: IE11 - you guess it #452	2023-02-04 16:48:43 +01:00
Sören Weber	bf79988c2c	browser: further IE11 patches #452	2023-02-04 16:29:55 +01:00
Sören Weber	4a1adeb79b	browser: further IE11 fixes #452	2023-02-04 16:17:19 +01:00
Sören Weber	5b9389fde2	browser: remove IE11 errors #452	2023-02-04 16:01:42 +01:00
Sören Weber	7722748432	swagger: avoid errors when using invalid rapi-doc fragment ids #465	2023-02-04 13:39:59 +01:00
Sören Weber	5f7df12b88	mermaid: remove jQuery #452	2023-02-04 01:54:13 +01:00
Sören Weber	03c2bf52a9	nav: fix nav on last project page and horizontal scrolling detection #452	2023-02-04 01:42:21 +01:00
Sören Weber	8f4d9f4930	mermaid: rerender graph if search term is present and variant is switched #460	2023-02-04 00:07:52 +01:00
Sören Weber	973e95af07	tabs: fix after global jQuery removal #452	2023-02-04 00:04:42 +01:00
Sören Weber	d1fcf21461	global: remove jQuery #452	2023-02-03 23:35:16 +01:00
Sören Weber	8e0013647b	clipboard: remove jQuery #452	2023-02-03 23:25:57 +01:00
Sören Weber	fc040e73d3	search: fix oddities in keyboard handling #463	2023-02-03 22:08:06 +01:00
Sören Weber	00faf15af5	expand: a11y and remove jQuery #339 #452	2023-02-03 08:57:55 +01:00
Sören Weber	322a86ae47	mark: fix opening of menus if search term was found #452	2023-02-03 08:56:01 +01:00
Sören Weber	94e993b60e	badge: fix text color for IE11 #462	2023-02-03 00:02:47 +01:00
Sören Weber	f89c9944bd	cruft: remove jQuery #452 ... this code was unused	2023-02-01 19:02:52 +01:00
Sören Weber	e57358006a	mark: remove jQuery #452	2023-02-01 15:42:24 +01:00
Sören Weber	8a85b6554a	neon: nicer searchbox color	2023-01-30 20:40:18 +01:00
Sören Weber	6659d841ab	i18n: mention no support for Czech in Lunr #455	2023-01-30 17:59:28 +01:00
Sören Weber	880029117d	autocomplete: docs update #452	2023-01-30 00:30:19 +01:00
Sören Weber	a95d86c03c	search: remove jQuery #452	2023-01-29 23:58:43 +01:00
Sören Weber	7c6a48f6c6	search: remove jQuery #452	2023-01-29 17:04:20 +01:00
Sören Weber	f322e58ddd	nav: remove jQuery #452	2023-01-29 16:47:34 +01:00
Sören Weber	1491e66580	history: remove jQuery #452	2023-01-29 16:47:01 +01:00
Sören Weber	302ea923ed	tabs: remove jQuery #452	2023-01-29 16:45:42 +01:00
Sören Weber	f2bfdce1d9	lightbox: switch to CSS-only solution #451	2023-01-29 11:21:52 +01:00
Sören Weber	6bfcf53221	theme: improve whitespacing in tables #441	2023-01-25 10:01:36 +01:00
Sören Weber	cf72c51286	shortcodes: support for accent color #440	2023-01-24 00:14:10 +01:00
Sören Weber	7d55b0dcda	variant: fix search icon and text color #437	2023-01-23 13:44:56 +01:00
Sören Weber	05b31c174a	nav: fix left/right navigation for horizontal scrolling #435	2023-01-22 23:46:56 +01:00
Sören Weber	de5952fdbb	search: apply dependency scripts for Hindi and Japanese #427	2022-12-30 01:09:07 +01:00
Sören Weber	6bdf05fe96	search: move lunr to subdir #427	2022-12-30 00:39:07 +01:00
Sören Weber	3d60e1dd8a	badge: fix background-color for IE #410	2022-12-04 13:57:17 +01:00
Sören Weber	a685455a5b	badge: make title background dark in dark mode #410	2022-12-04 13:52:41 +01:00
Sören Weber	9d4e3a9069	theme: fix spacing for tag flyout in FF #413	2022-12-04 12:57:19 +01:00
Sören Weber	41582f63f0	theme: add accent color #409	2022-12-02 20:44:53 +01:00
Sören Weber	c5d43c2621	theme: add styles for Markdown definition lists #411	2022-12-02 15:51:58 +01:00
Sören Weber	2dfe52e3bb	theme: add styles for Markdown task lists #411	2022-12-02 15:51:36 +01:00
Sören Weber	1be3634160	theme: set image border to background dependend color #411 ... - to be more in line with eg. blockquote bars - and remove padding - looked wierd for colored background	2022-12-02 15:49:39 +01:00
Sören Weber	03c80e0669	theme: display tables with document background color for better contrast #411 ... if displayed in notice boxes	2022-12-02 15:47:47 +01:00
Sören Weber	0373d34e91	notice: fix margin if box starts with a table #411	2022-12-02 15:46:12 +01:00
Sören Weber	ea6c8ff3e4	variant: avoid neon code style to leak into IE11 fallback #392	2022-12-01 09:45:04 +01:00
Sören Weber	1d21812a1b	badge: improve print output #410	2022-12-01 01:58:55 +01:00
Sören Weber	c45f6dda08	badge: add new shortcode #410	2022-12-01 01:37:09 +01:00
Sören Weber	2ebee964ca	search: reset placeholder and use generic colors #405	2022-11-29 20:27:27 +01:00
Sören Weber	9c1233d9e3	search: long search terms causing browser freeze #408	2022-11-29 19:25:40 +01:00
Sören Weber	39b8347b1f	button: refactor for a11y #372	2022-11-28 18:42:51 +01:00
Sören Weber	322bf829bc	search: fix searchbox placeholder color in FF and IE #405	2022-11-27 16:48:52 +01:00
Sören Weber	26b22f9405	search: update lunr languages to 1.10.0 #403	2022-11-27 13:02:43 +01:00
Sören Weber	117ff6e38e	search: let x action glow in the dark #402	2022-11-23 17:58:47 +01:00
Sören Weber	ed29c7c8ae	theme: move IE specific stuff to fallback CSS #402	2022-11-23 17:50:12 +01:00
Sören Weber	8569a64c2b	search: fix button action color and placeholder color #402	2022-11-23 17:47:44 +01:00
Sören Weber	3c6ea53a22	theme: fix color of IE11 home link fallback #402	2022-11-23 07:46:32 +01:00
Sören Weber	fc3878c89b	menu: some love for the home link #402	2022-11-22 20:52:36 +01:00
Sören Weber	33233f11c8	docs: further adjusting chapter numbers in menu #402	2022-11-22 20:52:07 +01:00
Sören Weber	e5c52b992b	variant: minor color adjustments #402	2022-11-22 19:15:27 +01:00
Sören Weber	cdbb1a8ee7	variant: fix generator for use of neon #401	2022-11-22 18:21:17 +01:00
Sören Weber	8aeb69fa56	search: make build and js forgiving against config errors #400	2022-11-20 23:00:40 +01:00
Sören Weber	77b1c9661b	menu: relax usage of background color #399	2022-11-19 20:28:55 +01:00
Sören Weber	0d5ee6d1b4	mermaid: avoid leading whitespace #394 ... to avoid brittle initialization of mindmap graph	2022-11-19 00:00:31 +01:00
Sören Weber	3bac832eb0	search: only redirect keyboard events initially to menu #386 ... otherwise we are not able to tab thru search results on the search page	2022-11-18 21:09:50 +01:00
Sören Weber	3718ec854a	search: mark search results on tab #386	2022-11-18 11:04:46 +01:00
Sören Weber	864c66b6c6	#search: IE11 compatibility #386	2022-11-18 09:02:39 +01:00
Sören Weber	fc7211bcc3	variant: avoid neon to leak into IE11 fallback #392	2022-11-18 08:55:35 +01:00
Sören Weber	95450cbf23	mermaid: update to version 9.2.2 #391	2022-11-17 23:35:28 +01:00
Sören Weber	8b8814d696	search: add dedicated search page #386	2022-11-17 22:12:18 +01:00
Sören Weber	17d877a141	toc: improve keyboard handling #390	2022-11-17 17:45:29 +01:00
Sören Weber	dd44547a10	search: improve keyboard handling #387	2022-11-17 17:29:01 +01:00
Sören Weber	7b0b56dee4	nav: fix key navigation when pressing wrong modifiers #379	2022-11-11 01:05:42 +01:00
Sören Weber	54878e0407	theme: fix overflowing issue tooltips #364 ... in rtl, the scrollbars were still in ltr mode which was now changed to avoid overflow of tooltips when attached to the "ending" corner of the box	2022-11-07 20:57:17 +01:00
Sören Weber	e24c33c7aa	theme: reserve space for anchor icon to avoid overflow-y #364	2022-11-07 20:55:38 +01:00
Sören Weber	a13a13172a	theme: fix alignment of tags in rtl #364	2022-11-07 20:54:38 +01:00
Sören Weber	08fb5c4b22	theme: optimize page load for images #304	2022-11-06 16:26:11 +01:00
Sören Weber	460ab79e66	history: refactor for a11y #341	2022-11-05 20:34:57 +01:00
Sören Weber	5efdd8db6e	mermaid: fix Gantt chart width #365	2022-11-05 13:00:22 +01:00
Sören Weber	01cfcfe67b	theme: allow to be served by file:// protocol #349	2022-11-02 00:14:19 +01:00
Sören Weber	0ac97ba47e	i18n: support RTL in content #357	2022-11-01 02:00:50 +01:00
Sören Weber	bd70949313	nav: change defunct keyboard shortcuts #344	2022-10-08 22:50:14 +02:00
Sören Weber	cf47a1c049	theme: option to align images #327	2022-10-08 21:38:42 +02:00
Sören Weber	4a816885a7	menu: remove focus markers on menu expander #397	2022-10-07 21:31:50 +02:00
Sören Weber	1b6c0e87e0	expander: improve whitespace between label and content #338	2022-10-07 21:04:40 +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	564efc5e09	a11y: tweaking menu expander click area #307	2022-10-07 12:43:14 +02:00
Sören Weber	e572214372	print: remove menu placeholder in Firefox #335	2022-10-07 12:02:28 +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	b9249493c4	a11y: label for submenu expander #307	2022-10-06 01:09:58 +02:00
Sören Weber	47fb99e08d	a11y: label for searbox #307	2022-10-04 21:53:55 +02:00
Sören Weber	c0f1f7fa60	theme: remove HTML validator errors #329	2022-10-02 22:32:51 +02:00
Sören Weber	48525d4a7b	print: chapter pages overwrite font-size #328	2022-09-12 19:51:03 +02:00
Sören Weber	1f7df3e37f	print: switch mermaid and swagger style before print #316	2022-07-29 21:55:06 +02:00
Sören Weber	9765837da0	menu: expand collapsed menus if search term is found in submenus #312	2022-07-27 00:31:08 +02:00
Sören Weber	d4724f50fa	theme: fix chapter margins on big screens #315	2022-07-26 20:38:43 +02:00
Sören Weber	9f15ea397d	print: reset mermaid theme to light #313	2022-07-17 20:04:08 +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
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	2cd1a27da6	ie11: no styles after rework of archetypes #306	2022-07-08 00:49:53 +02:00
Sören Weber	34f316d59e	theme: optimize loading of js and css #303	2022-07-08 00:10:17 +02:00
Sören Weber	3c53b59e08	chore: update RapiDoc 9.3.3 #301	2022-07-05 00:37:08 +02:00
Sören Weber	897e004e1a	archetypes: rethink rendering #300	2022-07-05 00:19:27 +02:00
Sören Weber	96aa7af4fb	history: don't reload page when history gets cleared #299	2022-07-03 15:40:32 +02:00
Sören Weber	3e83d03bce	code: show copy-to-clipboard marker for blocklevel code #298	2022-07-03 15:10:53 +02:00
Sören Weber	9e50ddd1ed	menu: make active expander visible on hover #297	2022-07-03 14:52:42 +02:00
Sören Weber	5173c02e8b	menu: replace expander by fontawesome chevrons #296	2022-07-03 14:49:29 +02:00
Sören Weber	d12227fbd5	print: disable arrow navigation #294	2022-07-03 13:31:08 +02:00
Sören Weber	7e09a0bf89	chore: update Mermaid 9.1.3 #293	2022-07-03 13:09:33 +02:00
Sören Weber	a995cdc6cd	print: add missing line break after index or section #292	2022-07-03 00:27:59 +02:00
Sören Weber	c0dc87b50b	print: content padding #290	2022-07-03 00:26:55 +02:00
Sören Weber	a4e562c17e	theme: fix size of chapter heading #289	2022-07-03 00:26:02 +02:00
Sören Weber	60e79c413e	theme: use more space on wide screens #291	2022-07-02 21:14:11 +02:00
Sören Weber	8ad4226d51	theme: further adjustment for content padding #290	2022-07-02 20:44:33 +02:00
Sören Weber	03628ec4b1	theme: align content with topbar icon limits #290	2022-07-02 20:29:24 +02:00
Sören Weber	b1547e945f	theme: docs wording	2022-07-02 14:01:24 +02:00
Sören Weber	01e14664ce	math: add mathjax rendering #235	2022-07-02 14:00:23 +02:00
Sören Weber	3b97db45e1	clipboard: move head styles to stylesheet #286 ... to keep it all in place and maybe later use caching for partials	2022-06-23 21:39:47 +02:00
Sören Weber	34701d6102	tabs: fix wrapping when having many tabs #272	2022-06-23 12:34:38 +02:00
Sören Weber	6e70ae0f93	swagger: avoid builtin syntax-highlightning #280	2022-06-23 00:08:07 +02:00
Sören Weber	5118f1982e	tabs: don't change tab selection if panel does not contain item #279	2022-06-22 22:16:22 +02:00
Sören Weber	b4c37fd525	notice: fix layout when content starts with heading #275	2022-06-18 18:48:57 +02:00
Sören Weber	666d4d3251	i18n: support multilang content #271	2022-06-12 19:24:27 +02:00
Sören Weber	b1444965f4	theme: avoid javascript errors if toc isn't present #268	2022-06-12 14:06:30 +02:00
Sören Weber	c7b2eee5a6	i18n: fix search for cyrillic #269	2022-06-12 14:05:01 +02:00
Sören Weber	1131c68aae	i18n: add lunr language support #269	2022-06-12 14:04:41 +02:00
Sören Weber	35143ca59b	i18n: update lunrjs to 2.3.9	2022-06-12 14:03:59 +02:00
Sören Weber	cc08c9f3df	theme: avoid initial scrolling in print #268	2022-06-07 20:24:53 +02:00
Sören Weber	f1ec2d2417	theme: add keyboard shortcuts for all header navigations #268	2022-06-07 01:35:54 +02:00
Sören Weber	ae3ad846cc	theme: improve keyboard navigation for scrolling #268	2022-06-06 23:58:00 +02:00
Sören Weber	ebe1d59a69	swagger: update rapidoc to 9.3.2 #266	2022-06-06 22:13:19 +02:00
Sören Weber	1214c6517b	mermaid: update to 9.1.1 #265	2022-06-06 22:08:14 +02:00
Sören Weber	bcd4b2694b	toc: add scrollbar #262	2022-06-06 00:44:04 +02:00
Sören Weber	c8cde4f9f0	theme: remove console warnings #242	2022-06-06 00:00:28 +02:00
Sören Weber	1e93e9b717	theme: make topbar sticky again #242	2022-06-05 13:51:20 +02:00
Sören Weber	4dbe1bfb1d	theme: let browser scroll page on CTRL+f #242	2022-05-30 15:10:35 +02:00
Sören Weber	0efceeb8c6	print: adjust button and tab size #259	2022-05-29 23:27:43 +02:00
Sören Weber	e3b5dfd0c0	tabs: remove side effects caused by button style #240	2022-05-29 23:22:15 +02:00
Sören Weber	74e908ecfa	button: IE color fallback #240	2022-05-29 22:48:51 +02:00
Sören Weber	b55d2f9c3c	button: add color option #240	2022-05-29 21:35:12 +02:00
Sören Weber	4da5114388	theme: remove nav hover underscore #256	2022-05-29 10:04:06 +02:00
Sören Weber	68b0ccfcf6	boxes: use introduces --VARIABLE-BOX-* variables	2022-05-29 09:38:16 +02:00
Sören Weber	141ec1578c	theme: fix link hover color #256	2022-05-29 00:46:13 +02:00
Sören Weber	2ecf39ba30	theme: fix link underline color in IE #256	2022-05-29 00:36:36 +02:00
Sören Weber	ea919b4045	theme: fix link underlines #256	2022-05-29 00:26:52 +02:00
Sören Weber	6bddf821db	theme: remove --MAIN-ANCHOR-color from stylesheet #256	2022-05-29 00:15:51 +02:00
Sören Weber	af3bd11bcd	theme: move default colors to own stylesheet ... and only apply it to IE This will help to simplify further develpment by relying only to variant.css for evergreen browsers	2022-05-28 22:58:55 +02:00
Sören Weber	513dccf564	variant: adjust neon primary color #239	2022-05-24 00:37:56 +02:00
Sören Weber	d7bc40253e	notice: support for brand colors #251	2022-05-24 00:37:03 +02:00
Sören Weber	d23058e369	theme: fix display of tooltip for heading anchor #241 ... broken in #224	2022-05-23 14:24:41 +02:00
Sören Weber	a9e665bf30	variant: DRY Relearn variants #239	2022-05-22 23:55:26 +02:00
Sören Weber	1900ddb589	variant: fix primary color and avoid sorting of stylesheet #239	2022-05-22 23:14:13 +02:00
Sören Weber	74c47913af	variant: add primary and secondary color variables #239	2022-05-22 23:11:10 +02:00
Sören Weber	e8226f4d0e	variant: tweaking some colors	2022-04-11 22:28:35 +02:00
Sören Weber	6fcb287e3b	theme: remove some unused styles ... as proclaimed by Edge	2022-04-03 18:34:25 +02:00
Sören Weber	e6a0414c10	theme: even more JS IE11 fixing	2022-04-03 18:03:28 +02:00
Sören Weber	301f8812db	scrollbar: remove now unnecessary IE11 workaround	2022-04-03 15:59:00 +02:00
Sören Weber	ccb0cc1e5d	variant: fix false default swagger theme	2022-04-03 15:21:43 +02:00