From bb63b8b2a148d8e07e35bdff8c52a1bf6149a7bd Mon Sep 17 00:00:00 2001
From: Julien Escario <julien.escario@altinea.fr>
Date: Mon, 5 Oct 2020 15:11:38 +0200
Subject: [PATCH] New try to mark in bold user inputs

---
 ssh/yubibug.md | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/ssh/yubibug.md b/ssh/yubibug.md
index 5bc877a..3cc830b 100644
--- a/ssh/yubibug.md
+++ b/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