From 87baddd6d38e1bb542edd05cd0c3d3bb1826d189 2012-01-18 02:27:49
From: Brian Granger <ellisonbg@gmail.com>
Date: 2012-01-18 02:27:49
Subject: [PATCH] Minor style changes. Using better fonts, indenting menu items.

---

diff --git a/IPython/frontend/html/notebook/static/css/base.css b/IPython/frontend/html/notebook/static/css/base.css
index a85f0d0..f3bab36 100644
--- a/IPython/frontend/html/notebook/static/css/base.css
+++ b/IPython/frontend/html/notebook/static/css/base.css
@@ -48,6 +48,10 @@ div#main_app {
     position: relative;
 }
 
+.ui-widget {
+    font-family: "Lucinda Grande", "Lucinda Sans Unicode", Helvetica, Arial, Verdana, sans-serif;
+}
+
 .ui-button .ui-button-text {
     padding: 0.2em 0.8em;
     font-size: 77%;
diff --git a/IPython/frontend/html/notebook/static/css/notebook.css b/IPython/frontend/html/notebook/static/css/notebook.css
index 578242f..428e536 100644
--- a/IPython/frontend/html/notebook/static/css/notebook.css
+++ b/IPython/frontend/html/notebook/static/css/notebook.css
@@ -43,7 +43,7 @@ span#notebook_name {
 }
 
 .ui-menu .ui-menu-item a {
-    padding: 2px 0.9em;
+    padding: 2px 1.6em;
 }
 
 .ui-menu hr {