Sören Weber ed1715d467 theme: support for colored borders between menu and content #626		2023-08-25 03:14:09 +02:00
..
basics	theme: support for colored borders between menu and content #626	2023-08-25 03:14:09 +02:00
cont	Update menushortcuts.en.md	2023-08-02 23:45:09 +02:00
dev	openapi: replace implementation with swagger-ui #523	2023-05-14 23:05:07 +02:00
more	mermaid: add docs #603 #601	2023-08-05 14:33:13 +02:00
shortcodes	highlight: don't switch to block view if hl_inline=true #618	2023-08-14 10:36:48 +02:00
showcase	print: enable print for pages with _build options #522	2023-05-18 00:12:47 +02:00
_index.en.md	i18n: add Hungarian translation #604	2023-07-31 16:14:35 +02:00
_index.pir.md	piratify: reduce reader warnings #496	2023-02-10 17:30:41 +01:00