From 75cc29def5f9095bdadc04ad727a46279e264921 Mon Sep 17 00:00:00 2001
From: eidheim <eidheim@gmail.com>
Date: Sun, 21 Feb 2016 11:08:41 +0100
Subject: [PATCH] Finally found a way to make the notebook tabs smaller

---
 src/notebook.cc | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/src/notebook.cc b/src/notebook.cc
index bcd1780..1672311 100644
--- a/src/notebook.cc
+++ b/src/notebook.cc
@@ -52,6 +52,13 @@ Notebook::TabLabel::TabLabel(const std::string &title) : Gtk::Box(Gtk::ORIENTATI
 Notebook::Notebook() : Gtk::Notebook(), last_index(-1) {
   Gsv::init();
   
+  std::string data =  ".notebook {\n"
+                      "padding: 4px;\n"
+                      "}";
+  auto provider = Gtk::CssProvider::create();
+  provider->load_from_data(data);
+  get_style_context()->add_provider(provider, GTK_STYLE_PROVIDER_PRIORITY_APPLICATION);
+  
   signal_switch_page().connect([this](Gtk::Widget* page, guint page_num) {
     last_index=-1;
   });