From 8101c885a073bae175f80f301243cbf4f9bb6d3d Mon Sep 17 00:00:00 2001 From: "Salvador E. Tropea" Date: Mon, 11 Dec 2023 08:05:23 -0300 Subject: [PATCH] [KiRi] Moved style from JS to CSS - Sheet page icon margins --- kibot/resources/kiri/kiri.css | 5 +++++ kibot/resources/kiri/kiri.js | 2 +- 2 files changed, 6 insertions(+), 1 deletion(-) diff --git a/kibot/resources/kiri/kiri.css b/kibot/resources/kiri/kiri.css index e4303c90..f1eb2096 100644 --- a/kibot/resources/kiri/kiri.css +++ b/kibot/resources/kiri/kiri.css @@ -343,3 +343,8 @@ hr { height: 1px; border: 0; } + +.icon-sheet-page { + margin-left: 0.5em; + margin-right: 0.1em; +} diff --git a/kibot/resources/kiri/kiri.js b/kibot/resources/kiri/kiri.js index 094f004d..fb23ab39 100644 --- a/kibot/resources/kiri/kiri.js +++ b/kibot/resources/kiri/kiri.js @@ -770,7 +770,7 @@ function update_sheets_list(commit1, commit2) { var input_html = `