From 6f4017b8ea7b75d0511f5b37ca3f58346315a071 Mon Sep 17 00:00:00 2001 From: fiddlosopher Date: Sat, 7 Jul 2007 21:49:46 +0000 Subject: 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 --- src/Text/Pandoc/Writers/HTML.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') diff --git a/src/Text/Pandoc/Writers/HTML.hs b/src/Text/Pandoc/Writers/HTML.hs index 5dcca4825..7eb714784 100644 --- a/src/Text/Pandoc/Writers/HTML.hs +++ b/src/Text/Pandoc/Writers/HTML.hs @@ -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. -- cgit v1.2.3