From 9267eef01a620a1207618ab287911bdb81ed5edb Mon Sep 17 00:00:00 2001 From: sylvestre Date: Mon, 29 May 2023 02:47:15 +0000 Subject: [PATCH] deploy: f0e8d44e6e64ee3354f95864c0a25b74cf1c1151 --- user/book.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/user/book.js b/user/book.js index f2516be7a..ff3650eb4 100644 --- a/user/book.js +++ b/user/book.js @@ -179,7 +179,7 @@ function playground_text(playground, hidden = true) { // even if highlighting doesn't apply code_nodes.forEach(function (block) { block.classList.add('hljs'); }); - Array.from(document.querySelectorAll("code.language-rust")).forEach(function (block) { + Array.from(document.querySelectorAll("code.hljs")).forEach(function (block) { var lines = Array.from(block.querySelectorAll('.boring')); // If no lines were hidden, return