div>
                Shortcuts active in all editors. They will override any user defined shortcut. See list <a class='link_text' onclick="showWebsite('Shortcuts','/shortcuts')" >here</a>.

                <div class='shortcut_block_title' style="margin-top: 10px;">Query/Console Tab</div>

                <div class='shortcut_line'>
                  <div class='shortcut_element'>Run Query</div>
                  <div class='shortcut_element'><button id="shortcut_run_query" class='shortcut_button' onclick="