Redo styling in the manual, uglier, but github compatible markdown