From 4ad516525d0a2bcb2aca7a2c3c8f1043db497a16 Mon Sep 17 00:00:00 2001 From: Matthias Bussonnier Date: Tue, 7 Feb 2017 09:51:50 -0800 Subject: [PATCH] Fix layout issue of "Edit Keybord shortcut" on Firefox Closes #2147 --- notebook/static/notebook/less/notebook.less | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/notebook/static/notebook/less/notebook.less b/notebook/static/notebook/less/notebook.less index f62d69f73..696000742 100644 --- a/notebook/static/notebook/less/notebook.less +++ b/notebook/static/notebook/less/notebook.less @@ -101,7 +101,7 @@ kbd { } .jupyter-keybindings { - padding: 0px; + padding: 1px; line-height: 24px; border-bottom: 1px solid gray; }