Use monospaced font for keybinding display.

15 years ago · 8fb9f71e42
parent e8326241eb
commit 8fb9f71e42
1 changed files with 2 additions and 1 deletions
--- a/IPython/frontend/html/notebook/static/css/notebook.css
+++ b/IPython/frontend/html/notebook/static/css/notebook.css
@ -330,8 +330,9 @@ div.text_cell_render {

 .shortcut_key {
    display: inline-block;
-    width: 10ex;
+    width: 13ex;
    text-align: right;
+    font-family: monospace;
 }

 .shortcut_descr {