diff --git a/examples/html/style.css b/examples/html/style.css
index ad78d0234c..08ca32aba5 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: 11px;
+ font-size: 8.25pt;
-webkit-touch-callout: none;
-webkit-user-select: none;
@@ -31,25 +31,25 @@ body {
.color-box {
display: inline-block;
- width: 20px;
- height: 20px;
- border: 1px solid black;
- margin: 2px;
+ width: 15pt;
+ height: 15pt;
+ border: 0.75pt solid black;
+ margin: 1.5pt;
cursor: pointer;
}
.color-box.highlight {
- width: 18px;
- height: 18px;
- border: 2px solid black;
+ width: 13.5pt;
+ height: 13.5pt;
+ border: 1.5pt solid black;
}
.section-header {
background: #AAA;
- border-bottom: 1px solid #CCC;
+ border-bottom: 0.75pt solid #CCC;
background-color: #333333;
color: #999;
- padding: 4px;
+ padding: 3pt;
}
.section-header label {
@@ -61,7 +61,7 @@ body {
.property-section {
display: block;
margin: 10 10;
- height: 30px;
+ height: 22.5pt;
}
.property-section label {
@@ -73,7 +73,7 @@ body {
}
.grid-section {
- border-top: 1px solid #DDD;
+ border-top: 0.75pt solid #DDD;
background-color: #efefef;
}
@@ -81,8 +81,8 @@ input[type=button] {
cursor: pointer;
background-color: #608e96;
border-color: #608e96;
- border-radius: 5px;
- padding: 5px 10px;
+ border-radius: 3.75pt;
+ padding: 3.75pt 7.5pt;
border: 0;
color: #fff;
font-weight: bold;
@@ -90,8 +90,8 @@ input[type=button] {
textarea, input {
margin: 0;
- padding: 2px;
- border: 1px solid #999;
+ padding: 1.5pt;
+ border: 0.75pt solid #999;
background-color: #eee;
}
@@ -112,13 +112,13 @@ input.coord {
table#entity-table {
border-collapse: collapse;
font-family: Sans-Serif;
- font-size: 10px;
+ font-size: 7.5pt;
width: 100%;
}
#entity-table tr {
cursor: pointer;
- border-bottom: 1px solid rgb(63, 63, 63)
+ border-bottom: 0.75pt solid rgb(63, 63, 63)
}
#entity-table tr.selected {
@@ -128,15 +128,15 @@ table#entity-table {
#entity-table th {
background-color: #333;
color: #fff;
- border: 0px black solid;
+ border: 0pt black solid;
text-align: left;
word-wrap: nowrap;
white-space: nowrap;
}
#entity-table td {
- font-size: 11px;
- border: 0px black solid;
+ font-size: 8.25pt;
+ border: 0pt black solid;
word-wrap: nowrap;
white-space: nowrap;
text-overflow: ellipsis;
@@ -148,21 +148,21 @@ table#entity-table {
}
th#entity-type {
- width: 60px;
+ width: 33.75pt;
}
div.input-area {
display: inline-block;
- font-size: 10px;
+ font-size: 7.5pt;
}
input {
}
#type {
- font-size: 14px;
+ font-size: 10.5pt;
}
#type label {
@@ -173,22 +173,22 @@ input {
background-color: rgb(102, 102, 102);
color: rgb(204, 204, 204);
border: none;
- font-size: 10px;
+ font-size: 7.5pt;
}
#properties-list input[type=button] {
cursor: pointer;
background-color: rgb(51, 102, 102);
border-color: #608e96;
- border-radius: 5px;
- padding: 5px 10px;
+ border-radius: 3.75pt;
+ padding: 3.75pt 7.5pt;
border: 0;
color: rgb(204, 204, 204);
}
#properties-list .property {
- padding: 8px 8px;
- border-top: 1px solid rgb(63, 63, 63);
+ padding: 6pt 6pt;
+ border-top: 0.75pt solid rgb(63, 63, 63);
min-height: 1em;
}
@@ -203,11 +203,11 @@ table#properties-list {
}
#properties-list > div {
- margin: 4px 0;
+ margin: 3pt 0;
}
#properties-list {
- border-bottom: 1px solid #e5e5e5;
+ border-bottom: 0.75pt solid #e5e5e5;
}
#properties-list .label {
@@ -221,11 +221,11 @@ table#properties-list {
}
#properties-list .value > div{
- padding: 4px 0;
+ padding: 3pt 0;
}
col#col-label {
- width: 130px;
+ width: 97.5pt;
}
div.outer {