From 0f407a0747f1da9c8764a885270cf2af52494748 Mon Sep 17 00:00:00 2001 From: Divyansh Choudhary Date: Wed, 1 Nov 2023 12:23:09 +0530 Subject: [PATCH] Fix font size of the execute time element (#103) * Fix font size of the execute time element * Switch to percentage based size * Add changelog entry --------- Co-authored-by: Divyansh Choudhary --- CHANGELOG.md | 4 ++++ style/base.css | 2 +- 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index dafc23f..29e3a91 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -6,6 +6,10 @@ - Enable defining custom date format [#93](https://github.com/deshaw/jupyterlab-execute-time/pull/93) - Support execution failure timing information (in JupyterLab 4.1+) [#100](https://github.com/deshaw/jupyterlab-execute-time/pull/100) +### Fixed + +- Font size of the execute time indicator [#103](https://github.com/deshaw/jupyterlab-execute-time/pull/103) + ## [3.0.1](https://github.com/deshaw/jupyterlab-execute-time/compare/v3.0.0...v3.0.1) (2023-08-02) ### Changed diff --git a/style/base.css b/style/base.css index 41e8454..f8bb150 100644 --- a/style/base.css +++ b/style/base.css @@ -14,7 +14,7 @@ justify-content: space-between; margin-top: 2px; font-family: var(--jp-code-font-family, monospace); - font-size: 80%; + font-size: 86%; border-top: 1px solid var(--jp-cell-editor-border-color, #cfcfcf); padding: 0 2px; }