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

14 years ago · bf5ffad6f8
parent 10a76e8537
commit bf5ffad6f8
2 changed files with 5 additions and 1 deletions
--- 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%;
--- 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 {