[gnome-klotski/mallard-help] Cool buttons are cool.

[Rashi Aswani <aswanirashi src gnome org>]

commit 06aa1c994e64c7576869720f44e5959ccc61775f
Author: Arnaud Bonatti <arnaud bonatti gmail com>
Date:   Tue Aug 19 00:51:10 2014 +0200

    Cool buttons are cool.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=735022

 src/gnome-klotski.vala |    4 ++++
 1 files changed, 4 insertions(+), 0 deletions(-)
---
diff --git a/src/gnome-klotski.vala b/src/gnome-klotski.vala
index 57b8440..ee196a9 100644
--- a/src/gnome-klotski.vala
+++ b/src/gnome-klotski.vala
@@ -617,12 +617,16 @@ public class Klotski : Gtk.Application
         puzzles_view.show_all ();
 
         var scroll = new Gtk.ScrolledWindow (null, null);
+        scroll.name = "puzzles";
         scroll.set_policy (Gtk.PolicyType.NEVER, Gtk.PolicyType.AUTOMATIC);
         scroll.add (puzzles_view);
         scroll.show ();
         puzzles_panel.pack_start (scroll, true, true, 0);
 
         var bbox = new Gtk.Box (Gtk.Orientation.HORIZONTAL, 0);
+        var context = bbox.get_style_context ();
+        context.add_class ("linked");
+        bbox.margin_top = 12;
         bbox.show();
 
         prev_button = new Gtk.Button.with_label (_("Previous Puzzle"));