Mirrors/overte
3
0
Fork 0
mirror of https://github.com/overte-org/overte.git synced 2025-08-06 20:58:38 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

Merge pull request #4145 from huffman/fix-dpi

Browse source 
Update style.css to use pt instead of px for proper rendering on hidpi s...
This commit is contained in:
Philip Rosedale 2015-01-21 14:09:41 -08:00
commit 78f157d6b0
1 changed files with 33 additions and 33 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

66
examples/html/style.css
View file

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