]>
matita.cs.unibo.it Git - helm.git/blobdiff - matita/matita/contribs/lambdadelta/bin/roles/roles.css
.count {
}
+.filter {
+}
+
+.hidden {
+ display: none;
+}
+
.selected {
border: 1pt solid;
}
}
.object-color {
- color: deepskyblue;
+ color: blue;
}
.name-color {
- color: seagreen;
+ color: teal;
}
.error-color {