Made the terminal font size 95% of the source font size. See #179

src/window.cc

@@ -146,8 +146,11 @@ void Window::configure() {
   style_context->add_provider_for_screen(screen, css_provider, GTK_STYLE_PROVIDER_PRIORITY_SETTINGS);
   Directories::get().update();
   Menu::get().set_keys();
-  if(Config::get().source.font.size()>0)
+  if(Config::get().source.font.size()>0) {
-    Terminal::get().override_font(Pango::FontDescription(Config::get().source.font));
+    Pango::FontDescription font_description(Config::get().source.font);
+    font_description.set_size(font_description.get_size()*0.95);
+    Terminal::get().override_font(font_description);
+  }
 }
 
 void Window::set_menu_actions() {