Use <pre><code> for fish_indent HTML output

As suggested in #1827

1 files changed, 2 insertions, 2 deletions

diff --git a/fish_indent.cpp b/fish_indent.cpp
index dfa920b9..fe8fb801 100644
--- a/fish_indent.cpp
+++ b/fish_indent.cpp
@@ -224,7 +224,7 @@ static std::string html_colorize(const wcstring &text, const std::vector<highlig
     }
 
     assert(colors.size() == text.size());
-    wcstring html = L"<pre>";
+    wcstring html = L"<pre><code>";
     highlight_spec_t last_color = highlight_spec_normal;
     for (size_t i=0; i < text.size(); i++)
     {
@@ -264,7 +264,7 @@ static std::string html_colorize(const wcstring &text, const std::vector<highlig
                 break;
         }
     }
-    html.append(L"</span></pre>");
+    html.append(L"</span></pre></code>");
     return wcs2string(html);
 }