diff --git a/examples/html/style.css b/examples/html/style.css
index dd2e96ab43..4b7d4c825f 100644
--- a/examples/html/style.css
+++ b/examples/html/style.css
@@ -8,7 +8,7 @@ body {
background-color: rgb(76, 76, 76);
color: rgb(204, 204, 204);
font-family: Arial;
- font-size: 8.25pt;
+ font-size: 9.0pt;
-webkit-touch-callout: none;
-webkit-user-select: none;
@@ -58,6 +58,7 @@ body {
.multi-property-section {
}
+
.property-section {
display: block;
margin: 10 10;
@@ -132,7 +133,7 @@ input.no-spin::-webkit-inner-spin-button {
table#entity-table {
border-collapse: collapse;
font-family: Sans-Serif;
- font-size: 7.5pt;
+ font-size: 9pt;
width: 100%;
}
@@ -156,7 +157,7 @@ table#entity-table {
}
#entity-table td {
- font-size: 8.25pt;
+ font-size: 9.0pt;
border: 0pt black solid;
word-wrap: nowrap;
white-space: nowrap;
@@ -176,14 +177,14 @@ th#entity-type {
div.input-area {
display: inline-block;
- font-size: 7.5pt;
+ font-size: 9pt;
}
input {
}
#type {
- font-size: 10.5pt;
+ font-size: 9.0pt;
}
#type label {
@@ -191,14 +192,14 @@ input {
}
input, textarea {
- background-color: rgb(102, 102, 102);
- color: rgb(204, 204, 204);
+ background-color: rgb(63, 63, 63);
+ color: rgb(255, 255, 255);
border: none;
- font-size: 7.5pt;
+ font-size: 9pt;
}
input:disabled, textarea:disabled {
- background-color: rgb(102, 102, 102);
+ background-color: rgb(63, 63, 63);
color: rgb(160, 160, 160);
}
@@ -224,7 +225,7 @@ input:disabled, textarea:disabled {
#properties-list .property {
padding: 4pt;
border-bottom: 0.75pt solid rgb(63, 63, 63);
- min-height: 1em;
+ min-height: 12pt;
}
@@ -245,7 +246,6 @@ table#properties-list {
font-weight: bold;
overflow: hidden;
text-overflow: ellipsis;
-
vertical-align: middle;
height: 1.2em;
}
@@ -270,9 +270,7 @@ div.inner {
}
td {
-
-
- vertical-align: top;
+ vertical-align: top;
}
#no-entities {