better hover margins

joaomoreno · joaomoreno · commit d108ec70fd6e · 2016-09-05T15:34:24.000+02:00
diff --git a/src/vs/editor/contrib/hover/browser/hover.css b/src/vs/editor/contrib/hover/browser/hover.css
@@ -19,6 +19,7 @@
 	box-sizing: initial;
 	animation: fadein 100ms linear;
 	animation: fadein 100ms ease-in;
+	line-height: 1.5em;
 }
 
 .monaco-editor-hover.hidden {
@@ -30,7 +31,7 @@
 }
 
 .monaco-editor-hover .hover-row {
-	padding: 0.5em 0.5em;
+	padding: 4px 5px;
 }
 
 .monaco-editor-hover .hover-row:not(:first-child):not(:empty) {
@@ -39,7 +40,7 @@
 
 .monaco-editor-hover p,
 .monaco-editor-hover ul {
-	margin: 0.6em 0;
+	margin: 8px 0;
 }
 
 .monaco-editor-hover p:first-child,
@@ -53,7 +54,6 @@
 }
 
 .monaco-editor-hover ul {
-	line-height: 1.8em;
 	list-style-position: inside;
 	-webkit-padding-start: 6px;
 }

Original file line number	Diff line number	Diff line change
`@@ -19,6 +19,7 @@`
`19`	`19`	`box-sizing: initial;`
`20`	`20`	`animation: fadein 100ms linear;`
`21`	`21`	`animation: fadein 100ms ease-in;`
	`22`	`+ line-height: 1.5em;`
`22`	`23`	`}`
`23`	`24`
`24`	`25`	`.monaco-editor-hover.hidden {`
`@@ -30,7 +31,7 @@`
`30`	`31`	`}`
`31`	`32`
`32`	`33`	`.monaco-editor-hover .hover-row {`
`33`		`- padding: 0.5em 0.5em;`
	`34`	`+ padding: 4px 5px;`
`34`	`35`	`}`
`35`	`36`
`36`	`37`	`.monaco-editor-hover .hover-row:not(:first-child):not(:empty) {`
`@@ -39,7 +40,7 @@`
`39`	`40`
`40`	`41`	`.monaco-editor-hover p,`
`41`	`42`	`.monaco-editor-hover ul {`
`42`		`- margin: 0.6em 0;`
	`43`	`+ margin: 8px 0;`
`43`	`44`	`}`
`44`	`45`
`45`	`46`	`.monaco-editor-hover p:first-child,`
`@@ -53,7 +54,6 @@`
`53`	`54`	`}`
`54`	`55`
`55`	`56`	`.monaco-editor-hover ul {`
`56`		`- line-height: 1.8em;`
`57`	`57`	`list-style-position: inside;`
`58`	`58`	`-webkit-padding-start: 6px;`
`59`	`59`	`}`