Label observable type

Right now, there's only one type of observable, so the label can be
hard-coded.
This commit is contained in:
Aaron Fenyes 2025-02-12 10:37:48 -08:00
parent dc8330df6a
commit de7122d871
2 changed files with 7 additions and 1 deletions

View file

@ -24,7 +24,7 @@ body {
display: flex;
flex-direction: column;
float: left;
width: 450px;
width: 500px;
height: 100vh;
margin: 0px;
padding: 0px;
@ -128,6 +128,11 @@ details[open]:has(li) .element-switch::after {
font-style: italic;
}
.observable-type {
padding: 2px 8px 0px 8px;
font-size: 10pt;
}
.observable.invalid-constraint {
color: var(--text-invalid);
}