Minor style changes. Using better fonts, indenting menu items.

IPython/frontend/html/notebook/static/css/base.css

@@ -48,6 +48,10 b' 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%;

IPython/frontend/html/notebook/static/css/notebook.css

@@ -43,7 +43,7 b' span#notebook_name {'
 }
 
 .ui-menu .ui-menu-item a {
-    padding: 2px 0.9em;
+    padding: 2px 1.6em;
 }
 
 .ui-menu hr {