chiark / gitweb /
dep.js: Fix the way `STATE' is handled.
[dep-ui] / dep-ui.css
1 input.bad { background-color: #ff6666; }
2 input[readonly] {
3         border: 1px inset;
4         background-color: #eeeeee;
5 }
6 input.bad[readonly] {
7         background-color: #dd5555;
8 }