Further font adjustments to the notebook.

* Using Fernando's recommended monospaced font list.
* Increased tool/tab menus to 10 pt.

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

@@ -1,266 +1,266 b''
 /**
  * HTML5 ✰ Boilerplate
  *
  * style.css contains a reset, font normalization and some base styles.
  *
  * Credit is left where credit is due.
  * Much inspiration was taken from these projects:
  * - yui.yahooapis.com/2.8.1/build/base/base.css
  * - camendesign.com/design/
  * - praegnanz.de/weblog/htmlcssjs-kickstart
  */
 
 
 /**
  * html5doctor.com Reset Stylesheet (Eric Meyer's Reset Reloaded + HTML5 baseline)
  * v1.6.1 2010-09-17 | Authors: Eric Meyer & Richard Clark
  * html5doctor.com/html-5-reset-stylesheet/
  */
 
 html, body, div, span, object, iframe,
 h1, h2, h3, h4, h5, h6, p, blockquote, pre,
 abbr, address, cite, code, del, dfn, em, img, ins, kbd, q, samp,
 small, strong, sub, sup, var, b, i, dl, dt, dd, ol, ul, li,
 fieldset, form, label, legend,
 table, caption, tbody, tfoot, thead, tr, th, td,
 article, aside, canvas, details, figcaption, figure,
 footer, header, hgroup, menu, nav, section, summary,
 time, mark, audio, video {
   margin: 0;
   padding: 0;
   border: 0;
   font-size: 100%;
   font: inherit;
   vertical-align: baseline;
 }
 
 article, aside, details, figcaption, figure,
 footer, header, hgroup, menu, nav, section {
   display: block;
 }
 
 blockquote, q { quotes: none; }
 
 blockquote:before, blockquote:after,
 q:before, q:after { content: ""; content: none; }
 
 ins { background-color: #ff9; color: #000; text-decoration: none; }
 
 mark { background-color: #ff9; color: #000; font-style: italic; font-weight: bold; }
 
 del { text-decoration: line-through; }
 
 abbr[title], dfn[title] { border-bottom: 1px dotted; cursor: help; }
 
 table { border-collapse: collapse; border-spacing: 0; }
 
 hr { display: block; height: 1px; border: 0; border-top: 1px solid #ccc; margin: 1em 0; padding: 0; }
 
 input, select { vertical-align: middle; }
 
 /* Normalize monospace sizing:
    en.wikipedia.org/wiki/MediaWiki_talk:Common.css/Archive_11#Teletype_style_fix_for_Chrome */
 pre, code, kbd, samp { font-family: monospace, sans-serif; }
 
 
 
 body {
     background-color: white;
     font-size: 11pt;
 
     /* This makes sure that the body covers the entire window and needs to
        be in a different element than the display: box in wrapper below */
     position: absolute;
     left: 0px;
     right: 0px;
     top: 0px;
     bottom: 0px;
 }
 
 div#wrapper {
     display: box;
     box-orient: vertical;
 
     display: -webkit-box;
     -webkit-box-orient: vertical;
 
     display: -moz-box;
     -moz-box-orient: vertical;
 
     /* This is needed to make sure the wrapper fills the body */
     width: 100%;
     height: 100%;
 
     box-sizing: border-box;
     -moz-box-sizing: border-box;
     -webkit-box-sizing: border-box;
 }
 
 span#ipython_notebook h1 {
     font-family: Verdana, "Helvetica Neue", Arial, Helvetica, Geneva, sans-serif;
     font-size: 26pt;
     padding: 10px;
     margin: 10px;
 }
 
 div#tools {
-    font-size: 9pt;
+    font-size: 10pt;
 }
 
 span#kernel_status {
     position: absolute;
     top: 12%;
     right: 10px;
 	font-weight: bold;
 }
 
 .status_idle {
     color: gray;
 }
 
 .status_busy {
     color: red;
 }
 
 .status_restarting {
     color: black;
 }
 
 div.notebook {
     /* This is a trick from Google Docs. We set the height artificially low
        and set overflow-y: auto to force scrolling of this dev when needed,
        but prevent the browser window from scrolling. Crazy hack */
     height: 15px;
     overflow-y: auto;
     overflow-x: hidden;
     padding: 5px;
 /*    padding-top: 5px;*/
 /*    padding-bottom: 5px;*/
     background-color: white;
 
     /* Allow the notebook div to take up the rest of the vertical space */
     box-flex: 1;
     -webkit-box-flex: 1;
     -moz-box-flex: 1;
 
     box-sizing: border-box;
     -moz-box-sizing: border-box;
     -webkit-box-sizing: border-box;
 }
 
 div.cell {
     width: 100%;
     padding: 5px;
     position: relative;
     display: table;
     box-sizing: border-box;
     -moz-box-sizing: border-box;
     -webkit-box-sizing: border-box;
 }
 
 div.code_cell {
     background-color: white;
 }
 
 div.prompt {
     vertical-align: top;
     display: table-cell;
     width: 80px;
     padding: 0px;
     margin: 0px;
-    font-family: Menlo, "Courier New", Courier, mono;
+    font-family: Monaco, Consolas, "DejaVu Sans Mono", "Bitstream Vera Sans Mono", "Courier New", monospace;
     font-weight: normal;
     font-style: normal;
 }
 
 div.input {
     display: box;
     box-orient: horizontal;
 
     display: -webkit-box;
     -webkit-box-orient: horizontal;
 
     display: -moz-box;
     -moz-box-orient: horizontal;
 }
 
 div.input_prompt {
     color: blue;
 }
 
 textarea.input_area {
     text-align: left;
-    font-family: Menlo, "Courier New", Courier, mono;
+    font-family: Monaco, Consolas, "DejaVu Sans Mono", "Bitstream Vera Sans Mono", "Courier New", monospace;
     font-size: inherit;
     border-style: none;
     display: table-cell;
     padding: 0px;
     margin: 0px;
     overflow: auto;
     outline: none;
     resize: none;
     
     box-flex: 1;
     -webkit-box-flex: 1;
     -moz-box-flex: 1;
     box-sizing: border-box;
     -moz-box-sizing: border-box;
     -webkit-box-sizing: border-box;
 }
 
 div.output {
     display: box;
     box-orient: horizontal;
 
     display: -webkit-box;
     -webkit-box-orient: horizontal;
 
     display: -moz-box;
     -moz-box-orient: horizontal;
 }
 
 div.output_prompt {
     color: red;
 }
 
 div.output_area {
     text-align: left;
-    font-family: Menlo, "Courier New", Courier, mono;
+    font-family: Monaco, Consolas, "DejaVu Sans Mono", "Bitstream Vera Sans Mono", "Courier New", monospace;
     display: table-cell;
 }
 
 div.text_cell {
     background-color: white;
 }
 
 textarea.text_cell_input {
     font-family: "Helvetica Neue", Arial, Helvetica, Geneva, sans-serif;
     font-size: 12pt;
     outline: none;
     resize: none;
     width:  inherit;
     border-style: none;
     padding: 0px;
     margin: 0px;
     color: black;
 }
 
 div.text_cell_render {
     font-family: "Helvetica Neue", Arial, Helvetica, Geneva, sans-serif;
     font-size: 12pt;
     outline: none;
     resize: none;
     width:  inherit;
     border-style: none;
     padding: 5px;
     color: black;
 }
 
 div.text_cell_render em {
     font-style: italic;
 }
 
 div.text_cell_render strong {
     font-weight: bold;
 }