Fix variable-pitch-mode.

  * Arrow characters are displayed normally.
  * Font sizes for monospace and variable-pitch are the same.