[gnome-builder/wip/chergert/layout] editor: tweak outline for focus of checkbuttons

[Christian Hergert <chergert src gnome org>]

commit 5a43517853e15cdc135722e001d59dafc5c04ccb
Author: Christian Hergert <chergert redhat com>
Date:   Fri Jul 7 20:01:41 2017 -0700

    editor: tweak outline for focus of checkbuttons

 data/themes/shared/shared-editor.css |    3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)
---
diff --git a/data/themes/shared/shared-editor.css b/data/themes/shared/shared-editor.css
index 722a16c..7e4537e 100644
--- a/data/themes/shared/shared-editor.css
+++ b/data/themes/shared/shared-editor.css
@@ -67,8 +67,9 @@ ideeditorproperties button {
   padding: 2px 12px;
 }
 ideeditorproperties checkbutton {
- padding: 0;
  margin: 8px 0 0 0;
+ outline-offset: 2px;
+ padding: 0;
 }
 ideeditorproperties checkbutton check {
  margin: 0 8px 0 0;