<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 TRANSITIONAL//EN">
<HTML>
<HEAD>
  <META HTTP-EQUIV="Content-Type" CONTENT="text/html; CHARSET=UTF-8">
  <META NAME="GENERATOR" CONTENT="GtkHTML/4.0.0">
</HEAD>
<BODY>
Quarry uses the GTK+ theme application font, so when you change the font size for your GTK+ desktop apps, Quarry should follow suit.<BR>
<BR>
Now the bad news: it might not work in Gnome 3 - I don't even know where to set the font there. But at the time this bug was submitted (and still if using Gnome/GTK+ 2), changing the GTK+ setting was 100% the correct solution.<BR>
<BR>
It should be (or have been, at least) under Gnome Control Center / Appearance. Hope this helps.<BR>
<TABLE CELLSPACING="0" CELLPADDING="0" WIDTH="100%">
<TR>
<TD>
<BR>
</TD>
</TR>
</TABLE>
</BODY>
</HTML>