reorder code
generic completion proposal that allows styled text in proposal text
use IsabelleFont style for decoded symbol in completion proposal
limit Isabelle font size used for symbols display

Otherwise it becomes too big to display in the table. Limiting to 14points or default font size
Merge branch 'content-assist-font'