diff doc/options_advanced.html @ 1160:2562e0bc89a1

Mark keyboard keys with a span and make them look like a key through css style.

--- a/doc/options_advanced.html	Wed Nov 19 21:36:02 2008 +0000
+++ b/doc/options_advanced.html	Wed Nov 19 22:42:20 2008 +0000
@@ -168,7 +168,7 @@
   <dd><p>Prompts for confirmation before deleting files.</p></dd>
 
   <dt>Enable Delete key</dt>
-  <dd><p>Disable this to disassociate the delete file function from the Delete key. This option does not effect the [Ctrl] + D key sequence. May be useful in combination with &ldquo;confirm file delete&rdquo;, above, disabled so that accidentally hitting a single key will not result in deleted files.</p></dd>
+  <dd><p>Disable this to disassociate the delete file function from the Delete key. This option does not effect the <span class="key">Ctrl</span> + <span class="key">D</span> key sequence. May be useful in combination with &ldquo;confirm file delete&rdquo;, above, disabled so that accidentally hitting a single key will not result in deleted files.</p></dd>
 
   <dt>Safe Delete</dt>
   <dd><p>Moves deleted files to a temporary folder, for easy retrieval of deleted files. Files in the temporary folder are retained until the maximum size is reached, at which point deleting additional files will result in the removal of the oldest files to reclaim the space needed for the new files.</p>
@@ -229,7 +229,7 @@
   <dd><p>This will cause image panning speed to gradually accelerate when holding down the keyboard arrows.</p></dd>
 
   <dt>Mouse wheel scrolls image</dt>
-  <dd><p>The default is for the mouse wheel to change the image, and to scroll the image when [Shift] is used in combination with the wheel. Enabling this swaps the behavior so that operating the wheel will scroll the image, and holding down [Shift] will change the image.</p></dd>
+  <dd><p>The default is for the mouse wheel to change the image, and to scroll the image when <span class="key">Shift</span> is used in combination with the wheel. Enabling this swaps the behavior so that operating the wheel will scroll the image, and holding down <span class="key">Shift</span> will change the image.</p></dd>
  
   <dt>Home button path</dt>
   <dd><p>This defines the path to use for the "Home" button in the main window. By default or when this field is empty, this is the user's directory.</p></dd>