Markdown reader: Allow spaces around borders in pipe tables.

Closes #772.
This commit is contained in:
John MacFarlane 2013-03-02 18:59:50 -08:00
parent f449dfd55d
commit 1aff783095

View file

@ -1184,10 +1184,12 @@ pipeTableRow = do
| otherwise -> B.plain $ ils') cells'
pipeTableHeaderPart :: Parser [Char] st Alignment
pipeTableHeaderPart = do
pipeTableHeaderPart = try $ do
skipMany spaceChar
left <- optionMaybe (char ':')
many1 (char '-')
right <- optionMaybe (char ':')
skipMany spaceChar
return $
case (left,right) of
(Nothing,Nothing) -> AlignDefault