Updated default version dropdown view.

version.css

@@ -1,17 +1,33 @@
+:root {
+  --arm_light_blue: #00C1DE;
+  --arm_blue: #11809F;
+  --arm_blue1: #0091BD;
+  --arm_dark_blue: #002B49;
+  --arm_light_gray: #E5ECEB;
+  --arm_light_gray1: #EFF5F4;
+  --arm_light_gray2: #EBEBEB;
+  --arm_light_gray3: #F7F7F7;
+  --arm_dark_gray: #7D868C;
+  --arm_black: #333E48;
+  --arm_orange: #FF6B00;
+  --arm_yellow: #FFC700;
+}
+
 /* Dropdown Button */
 .dropbtn {
     margin: 0px;
-    padding: 0px 0px 0px 1em;
-    background-image: url(dropdown.png);
+    padding: 0px 20px 0px 0em;
+    background-image: url("dropdown.png");
     background-repeat: no-repeat;
-    background-size: 0.75em;
-    background-position: left center;
+    background-size: 0.5em;
+    background-position: right center;
+    cursor: pointer;
 }
 
 /* Dropdown button on hover & focus */
-.dropbtn:hover, .dropbtn:focus {
-  background-size: 0.8em;
-}
+#.dropbtn:hover, .dropbtn:focus {
+#  background-size: 0.7em;
+#}
 
 /* The container <div> - needed to position the dropdown content */
 .dropdown {
@@ -23,16 +39,18 @@
 .dropdown-content {
   display: none;
   position: absolute;
-  background-color: #f1f1f1;
+  background-color: var(--arm_light_gray3);
   min-width: 160px;
   box-shadow: 0px 8px 16px 0px rgba(0,0,0,0.4);
+  white-space: nowrap;
+  cursor: pointer;
   z-index: 1;
 }
 
 /* Links inside the dropdown */
 .dropdown-content a {
   # color: black;
-  color: #3A568E;
+  color: var(--arm_dark_gray);
   padding: 4px 6px;
   text-decoration: none;
   display: block;

version.js

@@ -31,6 +31,7 @@ function writeVersionDropdown() {
         if (label != version) {
             label += "("+version+")"
         }
+        label = "Version " + label
         document.write('    <a href="'+urlForVersion(docUrl, version)+'">'+label+'</a>');
     }
     document.write('  </div>');