From 590bc9f4241cb012cf223827fa26af5e311f3649 Mon Sep 17 00:00:00 2001
From: Maxime Jacquemin <maxime2.jacquemin@gmail.com>
Date: Fri, 18 Feb 2022 19:52:45 +0100
Subject: [PATCH] [ivette] Changing pivot table font and removing a drag detail
---
ivette/src/frama-c/kernel/PivotTable-style.css | 4 +---
1 file changed, 1 insertion(+), 3 deletions(-)
diff --git a/ivette/src/frama-c/kernel/PivotTable-style.css b/ivette/src/frama-c/kernel/PivotTable-style.css
index d7df5c6006c..afb410b1882 100644
--- a/ivette/src/frama-c/kernel/PivotTable-style.css
+++ b/ivette/src/frama-c/kernel/PivotTable-style.css
@@ -1,6 +1,5 @@
.pvtUi {
color: var(--text);
- font-family: Verdana;
border-collapse: collapse;
}
.pvtUi select {
@@ -21,7 +20,6 @@ table.pvtTable {
border-collapse: collapse;
margin-top: 3px;
margin-left: 3px;
- font-family: Verdana;
}
table.pvtTable thead tr th,
table.pvtTable tbody tr th {
@@ -141,7 +139,7 @@ table.pvtTable tbody tr td {
}
.pvtAxisContainer li {
- padding: 8px 6px;
+ margin: 8px 6px;
list-style-type: none;
cursor: move;
}
--
GitLab