[pitivi] Set gnome font, make font slightly smaller

[Jean-FranÃois Fortin Tam <jfft src gnome org>]

commit de3705162d548b36bcb6dfdc3917e833f2987ee9
Author: Paul Lange <palango gmx de>
Date:   Sun Aug 12 12:50:46 2012 +0200

    Set gnome font, make font slightly smaller

 pitivi/timeline/ruler.py |    6 +++---
 1 files changed, 3 insertions(+), 3 deletions(-)
---
diff --git a/pitivi/timeline/ruler.py b/pitivi/timeline/ruler.py
index 920e302..cbcb509 100644
--- a/pitivi/timeline/ruler.py
+++ b/pitivi/timeline/ruler.py
@@ -208,9 +208,9 @@ class ScaleRuler(gtk.DrawingArea, Zoomable, Loggable):
             cr.fill()
 
     def drawRuler(self, cr):
-        # FIXME GObject Introspection ToyFontFace not wraped with the introspection
-        #cr.set_font_face(cairo.ToyFontFace("Cantarell"))
-        cr.set_font_size(15)
+        # FIXME use system defaults
+        cr.set_font_face(cairo.ToyFontFace("Cantarell"))
+        cr.set_font_size(13)
         textwidth = cr.text_extents(time_to_string(0))[2]
 
         for scale in self.scale: