diff options
Diffstat (limited to 'src/server')
| -rw-r--r-- | src/server/gwt/src/se/chalmers/cs/gf/gwt/public/Fridge.css | 4 |
1 files changed, 4 insertions, 0 deletions
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; } |