configured emacs font size and color for agda and coq