GUI -- Tweaks to make round things less roundy and shadows less shadowy.

Change-Id: Icaad986c1f494514c29def3f5e632ffeedc9257b
diff --git a/web/gui/src/main/webapp/floatPanel.css b/web/gui/src/main/webapp/floatPanel.css
index 2a9b8a2..6138ad5 100644
--- a/web/gui/src/main/webapp/floatPanel.css
+++ b/web/gui/src/main/webapp/floatPanel.css
@@ -36,7 +36,7 @@
 
     -moz-border-radius: 6px;
     border-radius: 6px;
-    box-shadow: 2px 2px 16px #777;
+    box-shadow: 0px 2px 12px #777;
 }
 
 /* TODO: light/dark themes */