{ xresources.properties = { "xft.dpi" = 192; }; }