removing the additional semi-colon

Author: aiday-mar

src/vs/base/browser/ui/hover/hover.css

@@ -9,7 +9,7 @@
 	overflow: hidden;
 	user-select: text;
 	-webkit-user-select: text;
-	box-sizing: border-box;;
+	box-sizing: border-box;
 	animation: fadein 100ms linear;
 	line-height: 1.5em;
 }