From 0444b00a93352564f25bf2f554f589c23c7c11e1 Mon Sep 17 00:00:00 2001 From: Gabriel Konat Date: Wed, 20 Sep 2023 15:52:06 +0200 Subject: [PATCH] Make code elements resizable. --- tutorial/mdbook-diff2html/src/preprocessor.rs | 2 +- tutorial/src/diff2html.min.css | 5 ++++- tutorial/theme/css/general.css | 3 +++ tutorial/theme/css/variables.css | 2 +- 4 files changed, 9 insertions(+), 3 deletions(-) diff --git a/tutorial/mdbook-diff2html/src/preprocessor.rs b/tutorial/mdbook-diff2html/src/preprocessor.rs index 962f061..adc21a9 100644 --- a/tutorial/mdbook-diff2html/src/preprocessor.rs +++ b/tutorial/mdbook-diff2html/src/preprocessor.rs @@ -102,7 +102,7 @@ fn to_absolute_path(source_directory: &Path, source_file_path: Option<&Path>, re fn diff_to_html(diff: &str, div_id_counter: usize) -> String { let diff = diff.replace('$', r#"${"$"}"#); let diff = diff.replace('`', r#"${"`"}"#); - format!(r#"
+ format!(r#"