Use dp units in debugger

Source/Debugger/BeaconSource.h

@@ -30,19 +30,19 @@ static const char* beacon_rcss =
 "{\n"
 "	position: absolute;\n"
 "	top: 5px;\n"
-"	right: 33px;\n"
+"	right: 33dp;\n"
 "	z-index: 1000000;\n"
 "	width: 20px;\n"
 "	font-family: Lacuna;\n"
-"	font-size: 12px;\n"
+"	font-size: 12dp;\n"
 "	color: black;\n"
 "	visibility: hidden;\n"
 "}\n"
 "button\n"
 "{\n"
 "	display: block;\n"
-"	width: 18px;\n"
-"	height: 18px;\n"
+"	width: 18dp;\n"
+"	height: 18dp;\n"
 "	text-align: center;\n"
 "	border-width: 1px;\n"
 "	font-weight: bold;\n"

Source/Debugger/CommonSource.h

@@ -30,10 +30,10 @@ static const char* common_rcss =
 "{\n"
 "	font-family: Lacuna;\n"
 "	z-index: 1000000;\n"
-"	font-size: 13px;\n"
+"	font-size: 13dp;\n"
 "   line-height: 1.4;\n"
 "	color: black;\n"
-"	padding-top: 30px;\n"
+"	padding-top: 30dp;\n"
 "}\n"
 "div, h1, h2, h3, h4, p\n"
 "{\n"
@@ -47,11 +47,11 @@ static const char* common_rcss =
 "{\n"
 "	position: absolute;\n"
 "	top: 0px;\n"
-"	height: 22px;\n"
-"	padding: 4px;\n"
+"	height: 22dp;\n"
+"	padding: 4dp;\n"
 "	color: white;\n"
 "	background-color: #888;\n"
-"	font-size: 15px;\n"
+"	font-size: 15dp;\n"
 "}\n"
 "h2\n"
 "{\n"
@@ -75,9 +75,9 @@ static const char* common_rcss =
 "}\n"
 "div#close_button\n"
 "{\n"
-"	margin-left: 10px;\n"
+"	margin-left: 10dp;\n"
 "	float: right;\n"
-"	width: 18px;\n"
+"	width: 18dp;\n"
 "	color: black;\n"
 "	background-color: #ddd;\n"
 "	border-width: 1px;\n"
@@ -91,7 +91,7 @@ static const char* common_rcss =
 "   height: 100%;\n"
 "	overflow: auto;\n"
 "	background: white;\n"
-"	border-width: 2px;\n"
+"	border-width: 2dp;\n"
 "	border-color: #888;\n"
 "	border-width-top: 0px;\n"
 "}\n"
@@ -121,12 +121,12 @@ static const char* common_rcss =
 "}\n"
 "scrollbarvertical\n"
 "{\n"
-"	width: 16px;\n"
+"	width: 16dp;\n"
 "	scrollbar-margin: 16px;\n"
 "}\n"
 "scrollbarhorizontal\n"
 "{\n"
-"	height: 16px;\n"
+"	height: 16dp;\n"
 "	scrollbar-margin: 16px;\n"
 "}\n"
 "scrollbarvertical slidertrack,\n"
@@ -141,7 +141,7 @@ static const char* common_rcss =
 "}\n"
 "scrollbarhorizontal slidertrack\n"
 "{\n"
-"	height: 15px;\n"
+"	height: 15dp;\n"
 "	border-top-width: 1px;\n"
 "}\n"
 "scrollbarvertical sliderbar,\n"
@@ -153,13 +153,13 @@ static const char* common_rcss =
 "scrollbarvertical sliderbar\n"
 "{\n"
 "	border-width: 1px 0px;\n"
-"	margin-left: 1px;\n"
+"	margin-left: 1dp;\n"
 "}\n"
 "scrollbarhorizontal sliderbar\n"
 "{\n"
-"	height: 15px;\n"
+"	height: 15dp;\n"
 "	border-width: 0px 1px;\n"
-"	margin-top: 1px;\n"
+"	margin-top: 1dp;\n"
 "}\n"
 "scrollbarcorner\n"
 "{\n"
@@ -168,9 +168,9 @@ static const char* common_rcss =
 "handle#size_handle\n"
 "{\n"
 "	position: absolute;\n"
-"	width: 16px;\n"
-"	height: 16px;\n"
-"	bottom: -2px;\n"
-"	right: 2px;\n"
+"	width: 16dp;\n"
+"	height: 16dp;\n"
+"	bottom: -2dp;\n"
+"	right: 2dp;\n"
 "	background-color: #888;\n"
 "}\n";

Source/Debugger/InfoSource.h

@@ -28,26 +28,26 @@
 static const char* info_rcss =
 "body\n"
 "{\n"
-"	width: 320px;\n"
-"	min-width: 320px;\n"
-"	min-height: 150px;\n"
-"	margin-top: 42px;\n"
-"	margin-right: 20px;\n"
+"	width: 320dp;\n"
+"	min-width: 320dp;\n"
+"	min-height: 150dp;\n"
+"	margin-top: 42dp;\n"
+"	margin-right: 20dp;\n"
 "	margin-left: auto;\n"
 "}\n"
 "div#content\n"
 "{\n"
 "   height: auto;\n"
-"	max-height: 650px;\n"
+"	max-height: 650dp;\n"
 "}\n"
 "div#content div h2\n"
 "{\n"
-"	padding-left: 5px;\n"
+"	padding-left: 5dp;\n"
 "}\n"
 "div#content div div\n"
 "{\n"
-"	font-size: 12px;\n"
-"	padding-left: 10px;\n"
+"	font-size: 12dp;\n"
+"	padding-left: 10dp;\n"
 "}\n"
 "div#ancestors p:hover,\n"
 "div#children p:hover\n"
@@ -63,7 +63,7 @@ static const char* info_rml =
 "<h1>\n"
 "	<handle id=\"position_handle\" move_target=\"#document\">\n"
 "		<div id=\"close_button\">X</div>\n"
-"		<div id=\"title-content\" style=\"width: 200px;\">Element Information</div>\n"
+"		<div id=\"title-content\" style=\"width: 200dp;\">Element Information</div>\n"
 "	</handle>\n"
 "</h1>\n"
 "<div id=\"content\">\n"

Source/Debugger/LogSource.h

@@ -28,41 +28,41 @@
 static const char* log_rcss =
 "body\n"
 "{\n"
-"	width: 400px;\n"
-"   height: 300px;\n"
-"	min-width: 200px;\n"
-"	min-height: 150px;\n"
-"	top: 42px;\n"
-"	left: 20px;\n"
+"	width: 400dp;\n"
+"   height: 300dp;\n"
+"	min-width: 200dp;\n"
+"	min-height: 150dp;\n"
+"	top: 42dp;\n"
+"	left: 20dp;\n"
 "}\n"
 "div#tools\n"
 "{\n"
 "	float: right;\n"
-"	width: 137px;\n"
+"	width: 137dp;\n"
 "}\n"
 "div.log-entry\n"
 "{\n"
-"	margin: 3px 2px;\n"
+"	margin: 3dp 2dp;\n"
 "}\n"
 "div.log-entry div.icon\n"
 "{\n"
 "	float: left;\n"
 "	display: block;\n"
-"	width: 18px;\n"
-"	height: 18px;\n"
+"	width: 18dp;\n"
+"	height: 18dp;\n"
 "	text-align: center;\n"
 "	border-width: 1px;\n"
-"	margin-right: 5px;\n"
+"	margin-right: 5dp;\n"
 "	font-weight: bold;\n"
 "}\n"
 "div.button\n"
 "{\n"
 "	display: inline-block;"
-"	width: 30px;\n"
+"	width: 30dp;\n"
 "	text-align: center;\n"
 "	border-width: 1px;\n"
 "	font-weight: bold;\n"
-"	margin-right: 3px;\n"
+"	margin-right: 3dp;\n"
 "}\n"
 "div.button.last\n"
 "{\n"
@@ -71,7 +71,7 @@ static const char* log_rcss =
 "div.log-entry p.message\n"
 "{\n"
 "	display: block;\n"
-"	margin-left: 20px;\n"
+"	margin-left: 20dp;\n"
 "}\n";
 
 static const char* log_rml =
@@ -84,7 +84,7 @@ static const char* log_rml =
 "			<div id=\"info_button\" class=\"button info\">Off</div>\n"
 "			<div id=\"debug_button\" class=\"button debug last\">On</div>\n"
 "		</div>\n"
-"		<div style=\"width: 100px;\">Event Log</div>\n"
+"		<div style=\"width: 100dp;\">Event Log</div>\n"
 "	</handle>\n"
 "</h1>\n"
 "<div id=\"content\">\n"

Source/Debugger/MenuSource.h

@@ -29,12 +29,12 @@ static const char* menu_rcss =
 "body\n"
 "{\n"
 "	width: 100%;\n"
-"	height: 32px;\n"
+"	height: 32dp;\n"
 "	position: absolute;\n"
 "	z-index: 1000000;\n"
 "	background: #888;\n"
 "	font-family: Lacuna;\n"
-"	font-size: 14px;\n"
+"	font-size: 14dp;\n"
 "	color: black;\n"
 "}\n"
 "div\n"
@@ -43,17 +43,17 @@ static const char* menu_rcss =
 "}\n"
 "div#button-group\n"
 "{\n"
-"	margin-top: 4px;\n"
+"	margin-top: 4dp;\n"
 "}\n"
 "button\n"
 "{\n"
 "	border-width: 1px;\n"
 "	border-color: #666;\n"
 "	background: #ddd;\n"
-"	margin-left: 6px;\n"
+"	margin-left: 6dp;\n"
 "	display: inline-block;\n"
-"	width: 100px;\n"
-"   line-height: 22px;\n"
+"	width: 100dp;\n"
+"   line-height: 22dp;\n"
 "	text-align: center;\n"
 "}\n"
 "button:hover\n"
@@ -64,16 +64,16 @@ static const char* menu_rcss =
 "{\n"
 "	padding: 0px;\n"
 "	margin-top: 0px;\n"
-"	font-size: 20px;\n"
+"	font-size: 20dp;\n"
 "	float: right;\n"
-"	margin-right: 20px;\n"
-"	width: 200px;"
+"	margin-right: 20dp;\n"
+"	width: 200dp;"
 "	text-align: right;"
 "	color: white;\n"
 "}\n"
 "span#version-number\n"
 "{\n"
-"	font-size: 15px;\n"
+"	font-size: 15dp;\n"
 "}\n"
 ;