From 52f7ac3ce2594d06d6a174f7e0e4472ea9c1685d Mon Sep 17 00:00:00 2001
From: Laurent Rineau <laurent.rineau@cgal.org>
Date: Tue, 22 Oct 2019 09:19:07 +0200
Subject: [PATCH] Save the CSS file that is actually on production

---
 Maintenance/test_handling/testresult.css | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/Maintenance/test_handling/testresult.css b/Maintenance/test_handling/testresult.css
index 144fd9f8f62..84e147f5f89 100644
--- a/Maintenance/test_handling/testresult.css
+++ b/Maintenance/test_handling/testresult.css
@@ -11,6 +11,14 @@ A {
 TABLE.result { font-weight: bold; background-color: white; padding: 1em; table-layout: fixed;}
 
 TABLE.summary TD { white-space: nowrap }
+TABLE.result,TABLE.summary { border-collapse: collapse; }
+TABLE.result TD,TABLE.summary TD { border-width: 1px; border-style: solid; }
+TABLE.result TD { padding: 0;}
+TABLE.result TD > a { font-weight: normal; font-family: monospace; display: block; padding: 0.2ex 0.5ex 0.2ex 0.5ex;}
+
+TABLE.beside TABLE { border-collapse: collapse; font-family: monospace; }
+
+TABLE.beside TABLE TD { padding: 0.2ex 0.5ex 0.2ex 0.5ex; }
 
 TD.highlight {background-color: rgb(80%,80%,80%)}
 TD.os64bits {font-style:italic}
@@ -57,6 +65,7 @@ SELECT { font-family: monospace; }
     content: ")"
 }
 
-.package_name {
+TABLE.result TD > a.package_name {
     color: black;
+    font-weight: bold;
 }