}
.roles-head {
- height: 36ex;
+ height: 25vh;
overflow-y: auto;
padding: 1em 0;
margin-bottom: 1em;
}
.roles {
- display: none;
border-left: 2em solid white;
}
-.roles:target {
- display: block;
-}
-
.atoms-head {
}
.count {
}
+.filter {
+}
+
+.hidden {
+ display: none;
+}
+
.selected {
border: 1pt solid;
}
}
.object-color {
- color: deepskyblue;
+ color: blue;
}
.name-color {
- color: seagreen;
+ color: teal;
}
.error-color {