[polari] Reduce the size of the recent activity labels in user list

[William Jon McCann <mccann src gnome org>]

commit ef8fc38378a36515e9704881628befa34f780a49
Author: William Jon McCann <william jon mccann gmail com>
Date:   Fri Oct 18 11:17:13 2013 -0400

    Reduce the size of the recent activity labels in user list
    
    https://bugzilla.gnome.org/show_bug.cgi?id=710401

 src/userList.js |    8 ++++++--
 1 files changed, 6 insertions(+), 2 deletions(-)
---
diff --git a/src/userList.js b/src/userList.js
index 398b419..c4cedd1 100644
--- a/src/userList.js
+++ b/src/userList.js
@@ -241,11 +241,15 @@ const UserListRow = new Lang.Class({
         this._detailsGrid.attach(w, 0, row++, 2, 1);
 
         if (last) {
-            w = new Gtk.Label({ label: _("Last Activity:"),
+
+            w = new Gtk.Label({ label: '<small>' + _("Last Activity:") + '</small>',
+                                use_markup: true,
                                 valign: Gtk.Align.START });
             this._detailsGrid.attach(w, 0, row, 1, 1);
 
-            w = new Gtk.Label({ label: this._formatLast(last), wrap: true,
+            w = new Gtk.Label({ label: '<small>' + this._formatLast(last) + '</small>',
+                                use_markup: true,
+                                wrap: true,
                                 hexpand: true });
             this._detailsGrid.attach(w, 1, row++, 1, 1);
         }