fix: font-size and pre tag design

Author: vinkla

styles/atom-ide-datatips-marked.less

@@ -8,7 +8,7 @@
 .datatip-marked-container {
   color: @syntax-text-color;
   font-family: var(--editor-font-family);
-  font-size: max(var(--editor-font-size), 0.9rem);
+  font-size: var(--editor-font-size);
   max-width: 800px;
   overflow: auto;
   padding: 8px;
@@ -25,6 +25,8 @@
 
   pre {
     font-family: var(--editor-font-family);
-    font-size: max(var(--editor-font-size), 0.9rem);
+    font-size: var(--editor-font-size);
+    margin-bottom: 8px;
+    border-radius: 0;
   }
 }

styles/atom-ide-datatips.less

@@ -12,6 +12,13 @@
   pointer-events: all;
   max-width: 800px;
   overflow: none;
+  
+  p {
+    margin-left: 8px;
+    margin-right: 8px;
+    
+    &:last-child { margin-bottom: 8px; }
+  }
 }
 
 .datatip-overlay {
@@ -30,7 +37,7 @@
   padding: 8px;
   white-space: pre-wrap;
   font-family: var(--editor-font-family);
-  font-size: max(var(--editor-font-size), 0.9rem);
+  font-size: var(--editor-font-size);
   &:hover {
     background-color: mix(@syntax-background-color, @syntax-selection-color, 50%);
   }