Fridge: prefix panel layout tweak.

2 files changed, 5 insertions, 0 deletions

diff --git a/src/server/gwt/src/se/chalmers/cs/gf/gwt/client/FridgeBagPanel.java b/src/server/gwt/src/se/chalmers/cs/gf/gwt/client/FridgeBagPanel.java
index f825c3f46..0457e255e 100644
--- a/src/server/gwt/src/se/chalmers/cs/gf/gwt/client/FridgeBagPanel.java
+++ b/src/server/gwt/src/se/chalmers/cs/gf/gwt/client/FridgeBagPanel.java
@@ -31,6 +31,7 @@ public class FridgeBagPanel extends Composite {
 		this.pgf = pgf;
 		this.magnetFactory = magnetFactory;
 		prefixPanel = new FlowPanel();
+		prefixPanel.setStylePrimaryName("my-PrefixPanel");
 		mainPanel = new FlowPanel();
 		VerticalPanel vPanel = new VerticalPanel();
 		vPanel.setHorizontalAlignment(VerticalPanel.ALIGN_CENTER);
diff --git a/src/server/gwt/src/se/chalmers/cs/gf/gwt/public/Fridge.css b/src/server/gwt/src/se/chalmers/cs/gf/gwt/public/Fridge.css
index 449387173..63bf07d03 100644
--- a/src/server/gwt/src/se/chalmers/cs/gf/gwt/public/Fridge.css
+++ b/src/server/gwt/src/se/chalmers/cs/gf/gwt/public/Fridge.css
@@ -26,6 +26,10 @@ body {
   border: 3px solid #dddddd;
 }
 
+.my-PrefixPanel {
+  margin-bottom: 1em;
+}
+
 .my-Magnet {
   float: left;
   margin: 0.3em;