From e90e58e7de05ae569e1946c8e9066cf7e5765b2a Mon Sep 17 00:00:00 2001 From: Rudis Muiznieks Date: Thu, 28 Sep 2023 16:08:56 +0000 Subject: [PATCH] made buttons a bit smaller --- extension.php | 2 +- static/style.css | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/extension.php b/extension.php index f4fe56e..3179e24 100644 --- a/extension.php +++ b/extension.php @@ -42,7 +42,7 @@ class KagiSummarizerExtension extends Minz_Extension { ))); $entry->_content( '
' - . _t('ext.kagiSummarizer.ui.summarize_button') . ' ' + . _t('ext.kagiSummarizer.ui.summarize_button') . '' . '' . _t('ext.kagiSummarizer.ui.key_moments_button') . '' . '' diff --git a/static/style.css b/static/style.css index 0b50c0f..a1c2e7d 100644 --- a/static/style.css +++ b/static/style.css @@ -1,6 +1,6 @@ div.kagi-summary { margin-top: 1em; } div.kagi-summary blockquote { margin-top: 1em; } -div.kagi-summary a { font-size: 0.8em; } +div.kagi-summary a { transform: scale(0.8); } div.kagi-summary.kagi-loading a { opacity: 0.5; } div.kagi-summary.kagi-loading a:hover { color: inherit; background-color: inherit; } div.kagi-summary.kagi-loading a:active { color: inherit; background-color: inherit; }