From 5fb901a628adda94cb8e18cc214b59ef0ad104a4 Mon Sep 17 00:00:00 2001
From: Gonzalo Odiard <godiard@gmail.com>
Date: Mon, 30 Sep 2013 14:45:05 +0000
Subject: Change margin to allow bigger texts.

Signed-off-by: Gonzalo Odiard <gonzalo@laptop.org>
---
diff --git a/activity.py b/activity.py
index 5909573..90777d7 100644
--- a/activity.py
+++ b/activity.py
@@ -286,14 +286,16 @@ class InformationBox(Gtk.EventBox):
         roundbox.props.margin = style.GRID_CELL_SIZE
 
         vbox = Gtk.VBox()
-        vbox.props.margin = style.GRID_CELL_SIZE * 2
+        vbox.props.margin = style.GRID_CELL_SIZE * 1.5
 
         if style.zoom(100) == 100:
             # xo
             self._font_size = 12
+            text_changer_vertical = 3
         else:
             # desktop
             self._font_size = 25
+            text_changer_vertical = 3.5
 
         self._order = 0
         self._text = text
@@ -325,7 +327,7 @@ class InformationBox(Gtk.EventBox):
             text_changer.props.halign = Gtk.Align.CENTER
             text_changer.props.valign = Gtk.Align.START
             text_changer.props.margin_top = self._height - \
-                (style.GRID_CELL_SIZE * 3.5)
+                (style.GRID_CELL_SIZE * text_changer_vertical)
             overlay.add_overlay(text_changer)
 
         icon = EventIcon(icon_name='globe', xo_color=self._xo_color)
--
cgit v0.9.1