Navigation/pagination buttons from split_html can now be placed at top, bottom or top+bottom. Updated tests and doc. Also a new --html_DOCTYPE option to solve problems with IE.
merge