use pragmatapro for i3