DevTools: Update styling for rendering drawer panel

third_party/WebKit/Source/devtools/front_end/ui/checkboxTextLabel.css

Index: third_party/WebKit/Source/devtools/front_end/ui/checkboxTextLabel.css
diff --git a/third_party/WebKit/Source/devtools/front_end/ui/checkboxTextLabel.css b/third_party/WebKit/Source/devtools/front_end/ui/checkboxTextLabel.css
index 56cf8ce51e84ced058fa5fadf2b9fe32f26fe13e..ab868413f408825123fdc002a56628fb9e1625f3 100644
--- a/third_party/WebKit/Source/devtools/front_end/ui/checkboxTextLabel.css
+++ b/third_party/WebKit/Source/devtools/front_end/ui/checkboxTextLabel.css
@@ -54,3 +54,14 @@ input.dt-checkbox-themed:after {
 }
 
 } /* media */
+
+::content .dt-checkbox-text {

[lushnikov, 2016/04/20 23:50:33]

this rule affects a lot of checkboxes in the front-end: e.g. settings screen. I
doubt you meant this :)

[luoe, 2016/04/22 00:44:50]

Done.

+    font-size: 13px;
+    margin-left: 6px;
+}
+
+::content .dt-checkbox-subtitle {
+    font-size: 12px;

[lushnikov, 2016/04/20 23:50:33]

i'd strip this down to color: gray and margin-top properties; all the rest
should be styled by clients.

[luoe, 2016/04/22 00:44:50]

I cut it down to just color: gray.  Margins may vary if font-size varies.

+    color: gray;
+    margin-top: 4px;
+}