From 0794862aacdb5d28616dadc3d681a63c36251212 Mon Sep 17 00:00:00 2001
From: Albert Krewinkel <albert@zeitkraut.de>
Date: Sat, 15 May 2021 16:36:13 +0200
Subject: HTML writer: parse `<header>` as a Div

HTML5 `<header>` elements are treated like `<div>` elements.
---
 src/Text/Pandoc/Readers/HTML.hs | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src')

diff --git a/src/Text/Pandoc/Readers/HTML.hs b/src/Text/Pandoc/Readers/HTML.hs
index b305de7b5..0a9e4addf 100644
--- a/src/Text/Pandoc/Readers/HTML.hs
+++ b/src/Text/Pandoc/Readers/HTML.hs
@@ -205,6 +205,7 @@ block = ((do
           | otherwise
           -> pDiv
         "section" -> pDiv
+        "header" -> pDiv
         "main" -> pDiv
         "figure" -> pFigure
         "iframe" -> pIframe
@@ -404,6 +405,7 @@ pLineBlock = try $ do
 isDivLike :: Text -> Bool
 isDivLike "div"     = True
 isDivLike "section" = True
+isDivLike "header"  = True
 isDivLike "main"    = True
 isDivLike _         = False
 
-- 
cgit v1.2.3