adapt monospace font size in hover
making for much more elegant doc hover