diff --git a/src/librustdoc/html/static/main.js b/src/librustdoc/html/static/main.js
index 3f12fb893a440..520f056b64e9d 100644
--- a/src/librustdoc/html/static/main.js
+++ b/src/librustdoc/html/static/main.js
@@ -1424,6 +1424,17 @@ function getSearchElement() {
return tmp;
}
+ function colorCode(s) {
+ var parts = s.split("`");
+ if (parts.length < 3) {
+ return s;
+ }
+ for (var it = 1; it < parts.length; it += 2) {
+ parts[it] = "" + parts[it] + "
";
+ }
+ return parts.join("");
+ }
+
function addTab(array, query, display) {
var extraStyle = "";
if (display === false) {
@@ -1458,7 +1469,7 @@ function getSearchElement() {
item.displayPath + "" +
name + "