DevTools: minor UI tweaks in the settings UI.

Source/devtools/front_end/helpScreen.css

Index: Source/devtools/front_end/helpScreen.css
diff --git a/Source/devtools/front_end/helpScreen.css b/Source/devtools/front_end/helpScreen.css
index 6c30aa8313cea333766e74341f68ee3b8c1d3c7c..beafe68310986265aec4fecd2b3dc3a90aebf3c5 100644
--- a/Source/devtools/front_end/helpScreen.css
+++ b/Source/devtools/front_end/helpScreen.css
@@ -273,7 +273,7 @@ body.platform-mac .help-content input[type=radio] {
 .help-container-wrapper {
     position: absolute;
     top: 60px;
-    left: 5px;
+    left: 15px;
     right: 0;
     bottom: 0;
     overflow: auto;
@@ -475,3 +475,24 @@ body.platform-mac .help-content input[type=radio] {
 #workspace-tab-content .workspace-settings-error {
     color: red;
 }
+
+.tethering-help-info {
+    padding-bottom: 5px;
+}
+
+.tethering-help-title-left {
+    padding-top: 20px;
+    display: inline-block;
+    width: 100px;
+}
+
+
+.tethering-help-title-right {
+    padding-top: 20px;
+    display: inline-block;
+}
+
+.settings-tab .workspace-settings-row input.tethering-port-input {
+    width: 80px;
+    margin-right: 20px;
+}