From 374e1d3f9417f65935e84e8cb2ce710545367e7d Mon Sep 17 00:00:00 2001
From: Lucas Morales <lucas@lucasem.com>
Date: Wed, 4 Jul 2018 16:54:55 +0400
Subject: [PATCH] rustdoc codeblock hash escape

pending merge of rust-lang/rust#51803
---
 src/theme/book.js | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/src/theme/book.js b/src/theme/book.js
index b0d89f33..7f9620a2 100644
--- a/src/theme/book.js
+++ b/src/theme/book.js
@@ -150,9 +150,11 @@ function playpen_text(playpen) {
         var lines = code_block.innerHTML.split("\n");
         var first_non_hidden_line = false;
         var lines_hidden = false;
+        var trimmed_line = "";
 
         for (var n = 0; n < lines.length; n++) {
-            if (lines[n].trim()[0] == hiding_character) {
+            trimmed_line = lines[n].trim();
+            if (trimmed_line[0] == hiding_character && trimmed_line[1] != hiding_character) {
                 if (first_non_hidden_line) {
                     lines[n] = "<span class=\"hidden\">" + "\n" + lines[n].replace(/(\s*)# ?/, "$1") + "</span>";
                 }
@@ -167,6 +169,9 @@ function playpen_text(playpen) {
             else {
                 first_non_hidden_line = true;
             }
+            if (trimmed_line[0] == hiding_character && trimmed_line[1] == hiding_character) {
+                lines[n] = lines[n].replace("##", "#")
+            }
         }
         code_block.innerHTML = lines.join("");