From 0e857f6f36843857ee0ec87871532959dd4f3592 Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Fri, 3 Nov 2023 01:49:44 -0400 Subject: [PATCH] index.html.in: boldface and improved margins for I said I wanted to leave the menu controls alone, but this just looks so much better. --- index.html.in | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/index.html.in b/index.html.in index 366f71c..c303852 100644 --- a/index.html.in +++ b/index.html.in @@ -14,6 +14,12 @@ margin-bottom: 1em; } + legend { + font-weight: bold; + margin-top: 1em; + margin-bottom: 1em; + } + svg { /* Set the height to 100% of the screen, which we'll keep; and the * initial position to (0,0), which we're going to change -- 2.43.2