From bf5ffad6f8dcd8a84b50ffec44012bdc4b91aa94 Mon Sep 17 00:00:00 2001
From: Brian Granger <ellisonbg@gmail.com>
Date: Wed, 11 Jan 2012 12:23:23 -0800
Subject: [PATCH] Minor style changes. Using better fonts, indenting menu
 items.

---
 IPython/frontend/html/notebook/static/css/base.css     | 4 ++++
 IPython/frontend/html/notebook/static/css/notebook.css | 2 +-
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/IPython/frontend/html/notebook/static/css/base.css b/IPython/frontend/html/notebook/static/css/base.css
index a85f0d024..f3bab3690 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 578242f8a..428e536b7 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 {