better looking local documentation in hover