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

Change-Id: Icaad986c1f494514c29def3f5e632ffeedc9257b

@@ -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 */

@@ -58,7 +58,7 @@ div.onosView.currentView {
     padding: 3px 6px;
     -moz-border-radius: 6px;
     border-radius: 6px;
-    box-shadow: 4px 6px 12px #777;
+    box-shadow: 0px 2px 12px #777;
 }
 
 #alerts pre {

@@ -1024,7 +1024,7 @@
             y: pad,
             width: dim.w - pad*2,
             height: dim.h - pad*2,
-            rx: 12
+            rx: 8
         };
     }