From b15723f33b486124a50408873d30998bb9d31b3b Mon Sep 17 00:00:00 2001 From: Alex Auvolat Date: Sun, 26 Nov 2023 19:06:22 +0100 Subject: larger font for extra examples text --- src/main.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') diff --git a/src/main.rs b/src/main.rs index 9209fd7..4ec20d0 100644 --- a/src/main.rs +++ b/src/main.rs @@ -1271,7 +1271,7 @@ fn format_batch_aux<'a>( let expl = expl1.join("
"); writeln!( f, - r#"
  {}  
{}
{}
"#, + r#"
  {}  
{}
{}
"#, ex.ja, ex.en, expl )?; } -- cgit v1.2.3