User:Nikki/KeyShortcuts.js: Difference between revisions
Content deleted Content added
make it possible to tab to the rank selector when adding a new statement |
use em sizes for the help dialog, make the help dialog always visible but set a max height relative to the window height so that it will scroll when necessary |
||
Line 233:
+ "background-color: #f9f9f9; background-image: linear-gradient(to bottom, #eee, #f9f9f9, #eee);"
+ "padding: 0.1em 0.3em; font-size: 0.85em";
var n_help_html = "<div id='n_keyshortcuts_help' style='display: none; width:
+ "background-color: white; border: 2px solid black; padding:
+ "position:
for (var i in n_keymap) {
n_help_html = n_help_html + i + "<ul style='list-style: none; padding-left: 0; margin-left: 0.5em;'>";
| |||