From fecb3a60f3f09a1b5af322bf8bd510119aaa9a04 Mon Sep 17 00:00:00 2001 From: Equim Date: Mon, 18 Sep 2023 21:12:00 +0800 Subject: [PATCH] bigger font size for the top button --- templates/report.css | 10 ++-------- templates/report.tera | 2 +- 2 files changed, 3 insertions(+), 9 deletions(-) diff --git a/templates/report.css b/templates/report.css index e4d2d37..3c36382 100644 --- a/templates/report.css +++ b/templates/report.css @@ -258,14 +258,8 @@ table.data td { opacity: 0; visibility: hidden; z-index: 1000; -} -#top-button::after { - content: "⬆"; - font-weight: normal; - font-style: normal; - font-size: 2em; - line-height: 50px; - color: #fff; + color: white; + font-size: 30px; } #top-button:hover { cursor: pointer; diff --git a/templates/report.tera b/templates/report.tera index c336fb8..6e6dc1c 100644 --- a/templates/report.tera +++ b/templates/report.tera @@ -30,7 +30,7 @@ mjai-reviewer

- +
Panel