Main doc: Use microtype and selnolig