quick doc: scale font size for HiDPI displays
[idea/community.git] / resources /
drwxr-xr-x   ..
-rw-r--r-- 908 resources.iml
drwxr-xr-x - src