micro tuning

sites/all/themes/gui/jee/css/jee.scss

@@ -464,7 +464,7 @@ div.messages{
       h1,h2,h3,h4,h5,h6{display:none!important;}
       // max-width:15em;
       p{margin:0;}
-      min-width:16em;
+      min-width:19em;
     }
 
     ul.links{
@@ -775,6 +775,7 @@ div.messages{
 
     >.node{
       width:100%; height:100%; overflow-y:auto; overflow-x:hidden;
+      padding-right:1.5em;
     }
   }
 
@@ -796,7 +797,7 @@ div.messages{
 
     h4{
       // font-family: "epflulb";
-      font-size: 1.5em;
+      font-size: 1em;
       // // color:$static-col;
       font-weight: 700;
     }
@@ -804,8 +805,8 @@ div.messages{
     p{
       font-family: "open_sans", sans-serif;
       font-weight:600;
-      font-size:1em;
-      line-height:1.3em;
+      font-size:0.85em;
+      line-height:1.5em;
     }
   }
 }