How do I change the font in the documentation window?

Hello Ben,

Right now it's not possible to select the font. You can file a feature request

at http://youtrack.jetbrains.net/

The default font is a tiny courier, and I'd like to change it.  I'd

rather not use courier anywhere.  Where can I change it?  To change

the size, there is a preference cog in the upper right, but I can't

change the family there.

I'm using OS X Lion.

--

Dmitry Jemerov

Development Lead

JetBrains, Inc.

http://www.jetbrains.com/

"Develop with Pleasure!"