From 09c31f428a5e4b8a73ddd0f5dfe5f594a31f7b3e Mon Sep 17 00:00:00 2001 From: Valentin Lorentz Date: Sun, 10 Apr 2022 15:15:51 +0200 Subject: [PATCH] Format the index as columns when possible To avoid wasting space. --- irctest/dashboard/format.py | 1 + irctest/dashboard/style.css | 4 ++++ 2 files changed, 5 insertions(+) diff --git a/irctest/dashboard/format.py b/irctest/dashboard/format.py index 5c88eda..615a243 100644 --- a/irctest/dashboard/format.py +++ b/irctest/dashboard/format.py @@ -277,6 +277,7 @@ def write_html_index(output_dir: Path, pages: List[Tuple[str, str]]) -> None: ET.SubElement(body, "h1").text = "irctest dashboard" dl = ET.SubElement(body, "dl") + dl.set("class", "module-index") for (module_name, file_name) in sorted(pages): module = importlib.import_module(module_name) diff --git a/irctest/dashboard/style.css b/irctest/dashboard/style.css index 1609da2..ed0b737 100644 --- a/irctest/dashboard/style.css +++ b/irctest/dashboard/style.css @@ -8,6 +8,10 @@ } } +dl.module-index { + column-width: 40em; /* Magic constant for 2 columns on average laptop/desktop */ +} + /* Only 1px solid border between cells */ table.test-matrix { border-spacing: 0;