Files
John MacFarlane 73a48d2670 HTML reader: parse aside as a Div.
(Instead of using raw HTML.)

The "aside" class is added to the Div.
Also, add "header" class to Divs created from headers.

See #11626.
2026-05-14 11:58:19 +02:00
..
2024-04-25 18:16:49 -07:00
2024-04-25 18:16:49 -07:00
2026-05-14 11:58:19 +02:00
2024-04-25 18:16:49 -07:00
2024-04-25 18:16:49 -07:00
2024-12-05 22:57:18 -08:00
2025-08-03 22:03:12 -07:00
2024-04-25 18:16:49 -07:00
2024-04-25 18:16:49 -07:00