From 3bca16ac7326c361f7eb48ebefdf4c12702cb85a Mon Sep 17 00:00:00 2001
From: Matthew Kastor <matthewkastor@gmail.com>
Date: Sun, 31 Mar 2013 20:26:24 -0400
Subject: [PATCH] fix top margin on kb shortcuts menu

---
 lib/ace/ext/show_keyboard_shortcuts.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/lib/ace/ext/show_keyboard_shortcuts.js b/lib/ace/ext/show_keyboard_shortcuts.js
index 5e86e610..e2469e60 100644
--- a/lib/ace/ext/show_keyboard_shortcuts.js
+++ b/lib/ace/ext/show_keyboard_shortcuts.js
@@ -33,7 +33,8 @@ define(function(require, exports, module) {
     module.exports = function showKeyboardShortcuts (editor) {
         var kb = getEditorKeybordShortcuts(editor);
         var el = document.createElement('div');
-        el.innerHTML = '<h1>Keyboard Shortcuts</h1><div>' +
+        el.innerHTML = '<h1 style="padding-top:0; margin-top:0;">' +
+            'Keyboard Shortcuts</h1><div>' +
             JSON.stringify(kb, null, '    ') +
             '</div>';
         el.style.cssText = 'margin:0; padding:0; ' +