From 7a0eafa63d31f9c85639e6e24732f4f40510f2e4 2014-03-19 19:44:12
From: Paul Ivanov <pi@berkeley.edu>
Date: 2014-03-19 19:44:12
Subject: [PATCH] wider style for keyboard shortcuts

---

diff --git a/IPython/html/static/notebook/less/quickhelp.less b/IPython/html/static/notebook/less/quickhelp.less
index fbd8c21..f57c38e 100644
--- a/IPython/html/static/notebook/less/quickhelp.less
+++ b/IPython/html/static/notebook/less/quickhelp.less
@@ -1,6 +1,6 @@
 .shortcut_key {
     display: inline-block;
-    width: 15ex;
+    width: 16ex;
     text-align: right;
     font-family: @monoFontFamily;
 }
diff --git a/IPython/html/static/style/style.min.css b/IPython/html/static/style/style.min.css
index 06d5dc3..79f94ad 100644
--- a/IPython/html/static/style/style.min.css
+++ b/IPython/html/static/style/style.min.css
@@ -1511,7 +1511,7 @@ ul#help_menu li a{overflow:hidden;padding-right:2.2em}ul#help_menu li a i{margin
 div#pager_splitter{height:8px}
 #pager-container{position:relative;padding:15px 0}
 div#pager{font-size:14px;line-height:20px;overflow:auto;display:none}div#pager pre{font-size:13px;line-height:1.21429em;color:#000;background-color:#f7f7f7;padding:.4em}
-.shortcut_key{display:inline-block;width:15ex;text-align:right;font-family:monospace}
+.shortcut_key{display:inline-block;width:16ex;text-align:right;font-family:monospace}
 .shortcut_descr{display:inline-block}
 span#save_widget{padding:0 5px;margin-top:12px}
 span#checkpoint_status,span#autosave_status{font-size:small}