Change font size for the command line

To change the overall font settings, use Firefox's font selection in
the preferences panel.
The command line can only be changed with this setting in the pentadactylrc.

The strange thing is it only works when the setting is at the bottom of
the page.