dashboard: menu font size

circle/dashboard/static/dashboard/dashboard.less

@@ -23,50 +23,18 @@ html {
   padding-right: 15px;
   padding-right: 15px;
 }
 }
 
 
-/* values for 45px tall navbar */
-.navbar {
-  min-height: 45px;
-}
-
-.navbar-brand {
-  height: 45px;
-  padding: 12.5px 12.5px;
-}
-
-.navbar-toggle {
-  margin-top: 5.5px;
-  margin-bottom: 5.5px;
-}
-
-.navbar-form {
-  margin-top: 5.5px;
-  margin-bottom: 5.5px;
-}
+/* --- */
 
 
-.navbar-btn {
-  margin-top: 5.5px;
-  margin-bottom: 5.5px;
+#dashboard-menu > li > a {
+  color: white;
+  font-size: 10px;
 }
 }
 
 
-.navbar-btn.btn-sm {
-  margin-top: 7.5px;
-  margin-bottom: 7.5px;
-}
-.navbar-btn.btn-xs {
-  margin-top: 11.5px;
-  margin-bottom: 11.5px;
-}
-.navbar-text {
-  margin-top: 12.5px;
-  margin-bottom: 12.5px;
-}
 
 
-.navbar-nav > li > a {
-  color: white !important;
-  font-size: 12px;
+#dashboard-menu {
+  margin-right: 15px;
 }
 }
 
 
-/* --- */
 
 
 /* Responsive: Portrait tablets and up */
 /* Responsive: Portrait tablets and up */
 @media screen and (min-width: 768px) {
 @media screen and (min-width: 768px) {
@@ -405,10 +373,6 @@ a.hover-black {
   font-size: 12px;
   font-size: 12px;
 }
 }
 
 
-#notification-button {
-  margin-right: 15px;
-}
-
 #vm-migrate-node-list {
 #vm-migrate-node-list {
   list-style: none;
   list-style: none;
 }
 }

circle/dashboard/templates/dashboard/base.html

@@ -18,7 +18,7 @@
 
 
 {% block navbar %}
 {% block navbar %}
 {% if user.is_authenticated and user.pk and not request.token_user %}
 {% if user.is_authenticated and user.pk and not request.token_user %}
-  <ul class="nav navbar-nav navbar-right">
+  <ul class="nav navbar-nav navbar-right" id="dashboard-menu">
     {% if user.is_superuser %}
     {% if user.is_superuser %}
     <li>
     <li>
       <a href="/admin/"><i class="fa fa-cogs"></i> {% trans "Admin" %}</a>
       <a href="/admin/"><i class="fa fa-cogs"></i> {% trans "Admin" %}</a>