| ... | ... | @@ -722,11 +722,13 @@ |
| 722 | 722 | <div class="modal"> |
| 723 | 723 | <h1>Keyboard Shortcuts</h1> |
| 724 | 724 | <dl><dt><kbd>?</kbd></dt><dd>Show this help modal</dd></dl> |
| 725 | | <dl><dt><kbd>Esc</kbd></dt><dd>Clear focus; close this modal</dd></dl> |
| 726 | 725 | <dl><dt><kbd>s</kbd></dt><dd>Focus the search field</dd></dl> |
| 727 | | <dl><dt><kbd>↑</kbd></dt><dd>Move up in search results</dd></dl> |
| 728 | | <dl><dt><kbd>↓</kbd></dt><dd>Move down in search results</dd></dl> |
| 729 | | <dl><dt><kbd>⏎</kbd></dt><dd>Go to active search result</dd></dl> |
| 726 | <div style="margin-left: 1em"> |
| 727 | <dl><dt><kbd>↑</kbd></dt><dd>Move up in search results</dd></dl> |
| 728 | <dl><dt><kbd>↓</kbd></dt><dd>Move down in search results</dd></dl> |
| 729 | <dl><dt><kbd>⏎</kbd></dt><dd>Go to active search result</dd></dl> |
| 730 | </div> |
| 731 | <dl><dt><kbd>Esc</kbd></dt><dd>Clear focus; close this modal</dd></dl> |
| 730 | 732 | </div> |
| 731 | 733 | </div> |
| 732 | 734 | </div> |