elpy
use default theme;maxima el format