1 files changed, 3 insertions, 0 deletions
diff --git a/tools/gui/resources/web/definitions.js b/tools/gui/resources/web/definitions.js
index 466cf59..75ef509 100644
--- a/tools/gui/resources/web/definitions.js
+++ b/tools/gui/resources/web/definitions.js
@@ -216,6 +216,9 @@ let Examples = {
           var codeBrowser = $("#code-browser");
           codeBrowser.show();
           codeBrowser.html(node.name.endsWith(".md") ? data : ("<pre><code>" + data + "</code></pre>"));
+          let lang = node.name.substring(node.name.lastIndexOf(".") + 1);
+          codeBrowser.find("code").addClass(lang);
+          $("pre code").each((i, block) => hljs.highlightBlock(block));
         });
       });
     }