diff --git a/examples/html/style.css b/examples/html/style.css
index 7177b8c8ba..0aedc43480 100644
--- a/examples/html/style.css
+++ b/examples/html/style.css
@@ -189,6 +189,11 @@ input, textarea {
font-size: 7.5pt;
}
+input:disabled, textarea:disabled {
+ background-color: rgb(102, 102, 102);
+ color: rgb(160, 160, 160);
+}
+
#properties-list input[type=button] {
cursor: pointer;
background-color: rgb(51, 102, 102);
@@ -199,6 +204,11 @@ input, textarea {
color: rgb(204, 204, 204);
}
+#properties-list input[type=button]:disabled {
+ background-color: rgb(41, 82, 82);
+ color: rgb(160, 160, 160);
+}
+
#properties-list .property {
padding: 6pt 6pt;
border-top: 0.75pt solid rgb(63, 63, 63);