Put table of contents in its own div (id="toc").

git-svn-id: https://pandoc.googlecode.com/svn/trunk@635 788f1e2b-df1e-0410-8736-df70ead52e1b
This commit is contained in:
fiddlosopher 2007-07-07 21:49:46 +00:00
parent 54a0e4c3b2
commit 6f4017b8ea

View file

@ -100,7 +100,7 @@ tableOfContents opts headers ids =
contentsTree = hierarchicalize headers
contents = evalState (mapM (elementToListItem opts') contentsTree)
([],ids)
in unordList ! [identifier "toc"] $ contents
in thediv ! [identifier "toc"] $ unordList contents
-- | Converts an Element to a list item for a table of contents,
-- retrieving the appropriate identifier from state.