mol-plugin: make Log take less space

src/mol-plugin/skin/base/components/log.scss

@@ -21,6 +21,8 @@
 }
 
 .msp-log {
+    font-size: 90%;
+
     ul {
         padding: 0;
         margin: 0;
@@ -47,18 +49,18 @@
     }
     
     .msp-log-timestamp {
-        padding: ($info-vertical-padding + 1) $control-spacing ($info-vertical-padding - 1) $control-spacing;
+        padding: $info-vertical-padding $control-spacing $info-vertical-padding $control-spacing;
         float: left;
         text-align: right;
         width: $control-label-width;
         color: $log-timestamp-font-color;
         //vertical-align: baseline;
         //line-height: $row-height;
-        font-size: 90%;
+        font-size: 100%;
     }    
     
     .msp-log-timestamp small {
-        font-size: 90%;
+        font-size: 100%;
     }
 }
 

src/mol-plugin/skin/base/variables.scss

@@ -6,12 +6,12 @@ $control-label-short-width:   70px;
 $row-height:            32px;
 $control-spacing:       10px;
 $entity-subtree-offset: 8px;
-$info-vertical-padding: 6px;
+$info-vertical-padding: 3px;
 $slider-border-radius-base: 6px;
 
 // layout
 $expanded-top-height:    100px;
-$expanded-bottom-height: 3 * $row-height + 2;
+$expanded-bottom-height: 70px; // 3 * $row-height + 2;
 $expanded-right-width:   300px;
 $expanded-left-width:    330px;