markdown tool: edit header size