--- a/doc/html/knowledge_bases/index.html
+++ b/doc/html/knowledge_bases/index.html
@@ -88,7 +88,7 @@
 request.path_segment(-1, 'site.html')
 <p>Note that three different knowledge bases (all <a class="reference external" href="fact_bases.html">fact bases</a>) are shown here
-named <tt class="docutils literal"><span class="pre">header</span></tt>, <tt class="docutils literal"><span class="pre">cookie</span></tt>, and <tt class="docutils literal"><span class="pre">request</span></tt>; each with multiple facts.</p>
+named <tt class="docutils literal">header</tt>, <tt class="docutils literal">cookie</tt>, and <tt class="docutils literal">request</tt>; each with multiple facts.</p>
 <p>The second part of the two-part name is the name of the <em>knowledge entity</em>.
 You can think of knowledge entities as <a class="reference external" href="../logic_programming/statements.html">statement</a> <em>types</em> or <em>topics</em>.  So:</p>
@@ -133,7 +133,7 @@
 entities to do different things like run a <a class="reference external" href="special.html#running-commands">command</a> on the underlying
 system and examine its output and/or exit status.<ul>
 <li>There is only has one instance of this knowledge base -- called
-<tt class="docutils literal"><span class="pre">special</span></tt>.</li>
+<tt class="docutils literal">special</tt>.</li>
@@ -164,7 +164,7 @@
 <div class="right-item"><a href="question_bases.html">Question Bases</a><p>Explanation of question bases and .kqb files.</p>
-<div class="right-item"><a href="special.html">Special</a><p>Explanation of the <tt class="docutils literal"><span class="pre">special</span></tt> knowledge base.</p>
+<div class="right-item"><a href="special.html">Special</a><p>Explanation of the <tt class="docutils literal">special</tt> knowledge base.</p>