New try to mark in bold user inputs

ssh/yubibug.md

@@ -10,17 +10,17 @@ Let's try it. For this demo, I'll let the Yubikey generate GnuPG's keys. This is
 (see here [https://support.yubico.com/hc/en-us/articles/360013790259-Using-Your-YubiKey-with-OpenPGP](https://support.yubico.com/hc/en-us/articles/360013790259-Using-Your-YubiKey-with-OpenPGP))
 
 Let's make things clear :
-
-    $ **rm -R .gnupg**
-    * **rm -R .ssh**
-    $ **ykman openpgp reset**
+<pre>
+    $ <b>rm -R .gnupg</b>
+    $ <b>rm -R .ssh</b>
+    $ ykman openpgp reset
     WARNING! This will delete all stored OpenPGP keys and data and restore factory settings? [y/N]: **y**
     Resetting OpenPGP data, don't remove your YubiKey...
     Success! All data has been cleared and default PINs are set.
     PIN:         123456
     Reset code:  NOT SET
     Admin PIN:   12345678
-
+</pre>
 Good, let's start with key generation :
 
     $ gpg --card-edit