From 7bf091ab13448ca5cfc3d7741686166e9558f757 Mon Sep 17 00:00:00 2001 From: Henry de Valence Date: Tue, 30 Jan 2018 12:31:29 -0800 Subject: [PATCH] Fix custom CSS rules to cover pre.rust --- rustdoc-include-katex-header.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/rustdoc-include-katex-header.html b/rustdoc-include-katex-header.html index 695c735..455a58e 100644 --- a/rustdoc-include-katex-header.html +++ b/rustdoc-include-katex-header.html @@ -6,5 +6,5 @@ document.addEventListener("DOMContentLoaded", function() { renderMathInElement(d