<div>Hi:</div><div>     <span style="font-family: Consolas, "Lucida Console", monospace; font-size: 12.8px; text-indent: -7px; background-color: rgb(240, 247, 255);">I have a question: how can I</span><span style="font-family: Consolas, "Lucida Console", monospace; font-size: 12.8px; text-indent: -7px; background-color: rgb(240, 247, 255);">  </span><span style="font-family: Consolas, "Lucida Console", monospace; font-size: 12.8px; text-indent: -7px; background-color: rgb(240, 247, 255);">change the GUI font size?</span></div><div><span style="font-family: Consolas, "Lucida Console", monospace; font-size: 12.8px; text-indent: -7px; background-color: rgb(240, 247, 255);">   </span><span style="background-color: rgb(240, 247, 255); font-family: Consolas, "Lucida Console", monospace; font-size: 12.8px; text-indent: -7px;">I run "</span><span style="background-color: rgb(240, 247, 255); font-family: Consolas, "Lucida Console", monospace; font-size: 12.8px; text-indent: -7px;"> </span><span style="background-color: rgb(240, 247, 255); font-family: Consolas, "Lucida Console", monospace; font-size: 12.8px; text-indent: -7px;">KDevelop-5.2.1-x86_64.AppImage</span><span style="background-color: rgb(240, 247, 255); font-family: Consolas, "Lucida Console", monospace; font-size: 12.8px; text-indent: -7px;">" on Ubuntu 14.04.</span></div><div><span style="background-color: rgb(240, 247, 255); font-family: Consolas, "Lucida Console", monospace; font-size: 12.8px; text-indent: -7px;">   Waiting for you message, thank you.</span></div><div><includetail><!--<![endif]--></includetail></div>