This patch adds emacs-mixed-pitch, an Emacs package that enables mixing variable- and fixed-pitch fonts in the same buffer.
-- 
Alex Griffin