[gnome-builder] style: we don't need round anymore

[Christian Hergert <chergert src gnome org>]

commit ec71fa178fc5489214f5a322a5687768323a69ab
Author: Christian Hergert <christian hergert me>
Date:   Thu Dec 24 13:46:22 2015 -0800

    style: we don't need round anymore
    
    This is not necessary since we moved to upstream keyboard shortcuts.

 data/theme/shared.css |   10 ----------
 1 files changed, 0 insertions(+), 10 deletions(-)
---
diff --git a/data/theme/shared.css b/data/theme/shared.css
index fef6f38..bb8bb27 100644
--- a/data/theme/shared.css
+++ b/data/theme/shared.css
@@ -73,16 +73,6 @@ layoutpane .pane-separator {
 }
 
 
-.round button {
-  border-radius: 20px;
-  outline-radius: 20px;
-}
-.round label {
-  padding-left: 0px;
-  padding-right: 0px;
-}
-
-
 .filtered {
   opacity: .2;
 }