Remove unneeded spaces from `pre`.

diff --git a/docs/_includes/css/code.html b/docs/_includes/css/code.html
index 0d13961456a1f32a2466633b562beb5369acf0a4..6e15b4c566d41d9a0430df641dcbed66e68a862b 100644 (file)
--- a/docs/_includes/css/code.html
+++ b/docs/_includes/css/code.html
@@ -16,7 +16,7 @@ For example, <code>&lt;section&gt;</code> should be wrapped as inline.
   To switch directories, type <kbd>cd</kbd> followed by the name of the directory.
 </div>
 {% highlight html %}
-  To switch directories, type <kbd>cd</kbd> followed by the name of the directory.
+To switch directories, type <kbd>cd</kbd> followed by the name of the directory.
 {% endhighlight %}
 
   <h2 id="code-block">Basic block</h2>