Javadoc code font not covered by Eclipse's "Colors and Fonts" preferences

**Preferences - General - Appearance - Colors and Fonts**

You can select all kinds of different fonts for different areas, but for Javadoc pop-ups there is one font area that is not appearing in the Eclipse font settings list, so I believe this is an oversight by the developers who are responsible for the font selection:


In the Eclipse font settings there is no entry and no term for this, so I am calling it "Javadoc Code Font" and have highlighted it in red circles in the attached picture.

Start by reproducing the issue in Eclipse through Preferences > General > Appearance > Colors and Fonts, then open a Javadoc pop-up and identify the code text whose font is not represented in the settings list. Done means the Javadoc code font has a corresponding font preference and changing it updates the pop-up text.

Written by the indexing model from the issue text.