Improved the generic data mining UI

This commit is contained in:
Lennart Hensler committed 2015-09-09 13:05:04 +02:00
1 parent c031bb68d0
commit 751bf54afa
15 files changed
+89 -74

No files matched your search

@@ -226,6 +226,10 @@ input.magnifier {
margin: 2px;
}
.statisticProviderElement {
margin: 2px;
}
.definitionProviderControls {
margin: 2px;
}