diff --git a/ivette/src/frama-c/kernel/PivotTable-style.css b/ivette/src/frama-c/kernel/PivotTable-style.css index d7df5c6006c10fd6534ba6232c422cf5b2eb213b..afb410b1882c753060084b0ed8a2aa35bd982801 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; }