Markdown mode, theme refinement, various fixes