GUI -- Mobile GUI work. Disabled port highlighting, suppressed port highlighting/sprite layer toolbar buttons, adjusted panel and navigation/mast heights.

Change-Id: I36142be78167fc1eb73cc846e7222391cb8b8740
diff --git a/web/gui/src/main/webapp/app/fw/layer/panel.css b/web/gui/src/main/webapp/app/fw/layer/panel.css
index 1075b74..46dbdb5 100644
--- a/web/gui/src/main/webapp/app/fw/layer/panel.css
+++ b/web/gui/src/main/webapp/app/fw/layer/panel.css
@@ -34,6 +34,10 @@
     border-radius: 6px;
 }
 
+html[data-platform='iPad'] .floatpanel {
+    top: 80px;
+}
+
 .light .floatpanel {
     background-color: rgba(255,255,255,0.8);
     color: black;