title: Change the font size in the RStudio user interface (not graphs etc.) under Linux
body: <p>This is <em>not</em> a question about changing the font size in graphs produced using RStudio. I already know how to do that.</p>
  
  <p>I use RStudio under Linux on a MacBook Pro with a 'retina' display. I use KDE as my window manager. I can (and do) enlarge the default font size in the user interface of other programs in KDE. I increase the font size for the user interface in Firefox and Thunderbird using program specific tools.</p>
  
  <p>How do I increase the font size in the <em>user interface</em> - not the console, which is easy [Options -> Appearance -> font size], but, for example, the help text, the keyboard shortcuts list, and so on. At the moment I find these very hard to read. I've fiddled with everything I can fiddle with, but had no joy.</p>
  
  <p>All help gratefully appreciated!</p>