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 +- static/style.css | 4 ++++ 2 files changed, 5 insertions(+), 1 deletion(-) 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 )?; } diff --git a/static/style.css b/static/style.css index 047624e..4c066d9 100644 --- a/static/style.css +++ b/static/style.css @@ -92,6 +92,10 @@ details .chars { font-size: 1.2em; } +.tab_large2 { + font-size: 1.5em; +} + .font_ja { font-family: 'MS PGothic', Osaka, Arial, sans-serif; } -- cgit v1.2.3