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 43b0d3efb..3911ed20c 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 @@ -34,6 +34,10 @@ body { border: 3px solid #dddddd; } +.my-FridgeBagPanel-empty { + visibility: hidden; +} + .my-PrefixPanel { margin-bottom: 1em; }