Small UI adjustments (#541)

gbv · Feb 12, 2020 · bd250fd · bd250fd
1 parent d69f01b
commit bd250fd
Show file tree

Hide file tree

Showing 4 changed files with 9 additions and 6 deletions.
diff --git a/src/components/ConceptDetail.vue b/src/components/ConceptDetail.vue
@@ -593,6 +593,6 @@ export default {
 
 <style>
 .conceptDetail .cocoda-vue-tabs .cocoda-vue-tabs-content {
-  padding: 10px 5px 0px 5px;
+  padding: 8px 6px 6px 6px !important;
 }
 </style>
diff --git a/src/components/MappingBrowserTable.vue b/src/components/MappingBrowserTable.vue
@@ -236,6 +236,7 @@
         </div>
         <div
           v-if="showEditingTools"
+          :style="`margin-left: 1px;`"
           class="mappingBrowser-toolbar-button">
           <font-awesome-icon
             v-b-tooltip.hover="{ title: canEdit(data, user) ? $t('mappingBrowser.edit', [$jskos.prefLabel(data.item.registry)]) : $t('mappingBrowser.clone', [$jskos.prefLabel(currentRegistry)]), delay: defaults.delay.medium }"

diff --git a/src/components/MappingEditor.vue b/src/components/MappingEditor.vue
@@ -170,7 +170,7 @@
       <mapping-type-selection
         :mapping="$store.state.mapping.mapping" />
     </div>
-    <div class="mappingEditor-creator">
+    <div class="mappingEditor-creator fontSize-small">
       {{ creatorName }}
     </div>
     <div class="mappingEditor-title">
@@ -726,8 +726,8 @@ export default {
 
 .mappingEditor-creator {
   position: absolute;
-  bottom: 2px;
-  right: 43px;
+  bottom: -4px;
+  right: 40px;
 }
 
 .mappingEditor-title {
@@ -751,8 +751,8 @@ export default {
 
 .mappingEditor-mappingNotSaved {
   position: absolute;
-  top: 0;
-  right: 20px;
+  bottom: -4px;
+  left: 1px;
   color: @color-button-delete;
   z-index: @zIndex-2;
 }

diff --git a/src/style/main.less b/src/style/main.less
@@ -161,12 +161,14 @@ ul {
 }
 .starFavorite {
   color: darken(@color-select, 12%);
+  margin-right: 3px;
 }
 .starFavorite:hover, .starNormal:hover {
   color: @color-button-hover;
 }
 .starNormal {
   color: @color-button-faded;
+  margin-right: 3px;
 }
 
 // Other styles // --------------------------------------------------