From e5a2343879398351d80af0f8941c1aaea91144bc Mon Sep 17 00:00:00 2001
From: ridiculousfish <corydoras@ridiculousfish.com>
Date: Wed, 24 Dec 2014 13:08:16 -0800
Subject: [PATCH] Use <pre><code> for fish_indent HTML output

As suggested in #1827
---
 fish_indent.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/fish_indent.cpp b/fish_indent.cpp
index dfa920b98..fe8fb8014 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);
 }