Add a mini menu, make sync button a generic button, and allow reseting properties

webapp/src/assets/less/variables.less

@@ -278,6 +278,15 @@
 
 }
 
+// Reduing the ui-kit mergins from 20px to 5px
+.ofm-close-pars p{
+  margin-bottom: 5px;
+}
+
+.ofm-close-pars * + p{
+  margin-top: 5px;
+}
+
 .hook-inverse() {
     .ofm-highlighted-label{
         color: @very-light-primary-color;
@@ -300,6 +309,18 @@
     }
 }
 
+// For links that shouldn't look style like links (such as in menus)
+.ofm-hidden-link {
+  text-decoration: none;
+  cursor: pointer;
+  color: @global-color;
+}
+.hook-inverse() {
+    .ofm-hidden-link{
+        color: @inverse-global-color;
+    }
+}
+
 /*
  * Buttons
  */