updates
updates
Final pagination fix.
Added extra text for solution manual. Not tested.
Added --html_figure_hrule=.
updates
updates
merge