DevTools: Update styling for rendering drawer panel

third_party/WebKit/Source/devtools/front_end/main/renderingOptions.css

Index: third_party/WebKit/Source/devtools/front_end/main/renderingOptions.css
diff --git a/third_party/WebKit/Source/devtools/front_end/main/renderingOptions.css b/third_party/WebKit/Source/devtools/front_end/main/renderingOptions.css
index fa3559fc791ff6bd390dd689415ddffbc191bce5..6936c2ca3900e719718afabf78ad29e69769208d 100644
--- a/third_party/WebKit/Source/devtools/front_end/main/renderingOptions.css
+++ b/third_party/WebKit/Source/devtools/front_end/main/renderingOptions.css
@@ -4,19 +4,33 @@
  * found in the LICENSE file.
  */
 
+ .rendering-view {

[lushnikov, 2016/04/19 22:37:45]

can't we use :host here?

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

Done.

+    padding: 12px;
+ }
+
 label {
-    margin: 12px 0 0 0;
-    padding: 0 4px 0 12px;
+    margin: 0px 0 12px 0;
     flex: none;
 }
 
 .media-row {
-    display: flex;
+    display: inline-block;
     align-items: center;
-    margin-top: 9px;
+    margin-left: 25px;
     flex: none;
 }
 
 .media-row > label {
     margin: 0 5px 0 0;
 }
+
+.dt-checkbox-text {
+    font-size: 13px;
+    margin-left: 6px;
+}
+
+.dt-checkbox-subtitle {
+    font-size: 12px;
+    color: gray;
+    margin-top: 4px;
+}