qt gui: Adjust sizes a bit
ui-helpers: Allow using rich text
qt gui: Use rich text
qt gui: Correct update-insn-box-on-select-next-line

Not sure why this hack is needed.