From 2171427bbdff69e5861c55cdfa822f895b344746 Mon Sep 17 00:00:00 2001
From: Ryan Huffman <ryanhuffman@gmail.com>
Date: Wed, 21 Jan 2015 12:31:06 -0800
Subject: [PATCH] Update style.css to use pt instead of px for proper rendering
 on hidpi screens

---
 examples/html/style.css | 66 ++++++++++++++++++++---------------------
 1 file changed, 33 insertions(+), 33 deletions(-)

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 {