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 <choudhdi@deshaw.com>
deshaw · Nov 1, 2023 · 0f407a0 · 0f407a0
1 parent d9b8ea0
commit 0f407a0
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git 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
@@ -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;
 }