molokai/monochrome theme
pager=less
opam config