From 6f0e0c918d1121e65dc369f9735ece85052957a1 Mon Sep 17 00:00:00 2001 From: Christopher Haster Date: Mon, 6 Nov 2023 19:29:56 -0600 Subject: [PATCH] In plotmpl.py, tweaked --github colors to be a bit more readable --- scripts/plotmpl.py | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/scripts/plotmpl.py b/scripts/plotmpl.py index 80f35e5b..9a89fd2c 100755 --- a/scripts/plotmpl.py +++ b/scripts/plotmpl.py @@ -613,14 +613,14 @@ def main(csv_paths, output, *, ggplot = True if font_color is None: if dark: - font_color = '#c9d1d9' + font_color = '#e6edf3' else: - font_color = '#24292f' + font_color = '#1f2328' if foreground is None: if dark: - foreground = '#343942' + foreground = '#1f242c' else: - foreground = '#eff1f3' + foreground = '#eaeef2' if background is None: if dark: background = '#0d1117'