update keyboard html

episodes/10-hpc-intro.Rmd

@@ -107,7 +107,7 @@ text-based interfaces were the way to do this. A typing-based interface is
 often called a **command-line interface**, or CLI, to distinguish it from a
 **graphical user interface**, or GUI, which most people now use. The heart of a
 CLI is a **read-evaluate-print loop**, or REPL: when the user types a command
-and then presses the Enter (or Return) key, the computer reads it, executes it,
+and then presses the <kbd>Enter</kbd> key, the computer reads it, executes it,
 and prints its output. The user then types another command, and so on until the
 user logs off.
 
@@ -123,7 +123,7 @@ to reap the benefits described above.
 The only way to use these types of resources is by learning to use the command
 line. This introduction to HPC systems has two parts:
 
-* We will learn to use the UNIX command line (also known as Bash).
+* We will learn to use the UNIX command line or shell (commonly just called Bash - although this is just one implementation).
 * We will use our new Bash skills to connect to and operate a high-performance
   computing supercomputer.
 

episodes/11-connecting.Rmd

@@ -49,7 +49,7 @@ directions you need.
 Macs have had a terminal built in since the first version of OS X since it is
 built on a UNIX-like operating system, leveraging many parts from BSD (Berkeley
 Software Distribution). The terminal can be quickly opened through the use of
-the Searchlight tool. Hold down the command key and press the spacebar. In the
+the Searchlight tool. Hold down the <kbd>Command</kbd> key and press <kbd>Space</kbd>. In the
 search bar that shows up type "terminal", choose the terminal app from the list
 of results (it will look like a tiny, black computer screen) and you will be
 presented with a terminal window. Alternatively, you can find Terminal under
@@ -101,7 +101,7 @@ via SSH. Instructions on installing it can be found
 
 :::
 
-## Creating an SSH key
+## Creating a SSH key
 
 SSH keys are an alternative method for authentication to obtain access to
 remote computing systems. They can also be used for authentication when

episodes/13-navigation.Rmd

@@ -40,7 +40,7 @@ information before the prompt. When typing commands, either from these lessons
 or from other sources, do not type the prompt, only the commands that follow
 it.
 
-Type the command `whoami`, then press the Enter key (sometimes marked Return)
+Type the command `whoami`, then press the <kbd>Enter</kbd> key (sometimes marked Return)
 to send the command to the shell. The command's output is the ID of the current
 user, i.e., it shows us who the shell thinks we are:
 
@@ -211,7 +211,7 @@ There are several other useful shortcuts you should be aware of.
 - `.` represents your current directory
 - `..` represents the "parent" directory of your current location
 - While typing nearly *anything*, you can have bash try to autocomplete what
-  you are typing by pressing the `tab` key.
+  you are typing by pressing the <kbd>tab</kbd> key.
 
 Let's try these out now: