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; }