notion: use consolas