disable arev font
use arev font in epyt demo
add \par to theorem end and proof end