From c926084ab581ba1c285ee04c6bd69b09658a1e62 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ad=C3=ABle?= Date: Wed, 21 Apr 2021 17:58:27 +0200 Subject: [PATCH] Better style for zoom text radio button --- index.php | 13 ++++++++----- style.css | 26 ++++++++++---------------- 2 files changed, 18 insertions(+), 21 deletions(-) diff --git a/index.php b/index.php index 1cc3a3f..e765407 100755 --- a/index.php +++ b/index.php @@ -366,7 +366,7 @@ function gmi2html($capsule, $body, $lang, $urlgem, $favicon) '.@file_get_contents(__DIR__.'/style.css').' - '; + '; if(count($tocs)>1) { $html.= ''; } $html.= ' - - - - + + + + + + +
'.implode("\n",$lines).'
diff --git a/style.css b/style.css index 90029d9..eaeeb61 100755 --- a/style.css +++ b/style.css @@ -62,29 +62,23 @@ div.toc .l3 { list-style-type: disc; } .control { - float: left; - margin: 4px; + float: left; + margin: 4px; } -.check-small { - width: 16px; - height: 16px; -} -.check-normal { - width: 20px; - height: 20px; -} -.check-big { - width: 24px; - height: 24px; +.check-bigger:checked ~ .main { + font-size: 150%; } .check-big:checked ~ .main { - font-size: 150%; + font-size: 120%; } .check-normal:checked ~ .main { - font-size: 100%; + font-size: 100%; } .check-small:checked ~ .main { - font-size: 70%; + font-size: 80%; +} +.check-smaller:checked ~ .main { + font-size: 50%; } div.inline-img img { max-width: 100%;