Improve help-panel display

Make fonts smaller and circumvent IPython bug in quickhelp