some UI improvements in tooltips:
- use Editor font size
- reduce padding in insight tooltip
- do not use fully qualified names in completion documentation