@@ -15,11 +15,12 @@ body {
left: 0;
right: 0;
bottom: 0;
+ font-size: 13px;
}
.p-CommandPalette {
- font: 13px Helvetica, Arial, sans-serif;
+ font-family: "Helvetica Neue", Helvetica;
@@ -5,7 +5,7 @@
.jp-FileBrowser {
background-color: #F5F5F5;
color: #757575;
min-width: 300px;