tweaks from Paul, eq labels, etc
set output to reveal_js