LnF updates to navigation menu. (reduce size of font).

Change-Id: I4fd9cf1fb799d8c6adbeb36c86fb1c1499b674e4
(cherry picked from commit ea3c223)
diff --git a/web/gui/src/main/webapp/app/fw/nav/nav.css b/web/gui/src/main/webapp/app/fw/nav/nav.css
index 7d283bd..4391a93 100644
--- a/web/gui/src/main/webapp/app/fw/nav/nav.css
+++ b/web/gui/src/main/webapp/app/fw/nav/nav.css
@@ -41,7 +41,7 @@
 
 #nav a {
     text-decoration: none;
-    font-size: 13pt;
+    font-size: 12pt;
     font-weight: lighter;
     display: block;
     padding: 6px 10px;