DevTools: Added styling to focused checkboxes

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 5d876fe0fe97f8f1bf2e4071ad3d763afcf1d493..b57220e797cffa641a2a07a4a872858ced2b8bb4 100644
--- a/third_party/WebKit/Source/devtools/front_end/ui/checkboxTextLabel.css
+++ b/third_party/WebKit/Source/devtools/front_end/ui/checkboxTextLabel.css
@@ -18,6 +18,10 @@ input {
     flex-shrink: 0;
 }
 
+input.dt-checkbox-focus-visible:focus {
+    outline: auto 5px -webkit-focus-ring-color;
+}
+
 input.dt-checkbox-themed {
     -webkit-appearance: none;
     margin: 0 5px auto 2px;