Me either. I did look for about 10 minutes but can't find it.
I'm on 8.0.3 and I looked for a while too without finding it.
I searched at eclipse.org. There were similar questions in the forums. You can change some things under General, Appearance, Colors and Fonts. For anything that you can't set explicitly, it uses the OS default font, and there is no way to override that (not even globally, such as at the workspace level).