Fix CSS of hotspots

diff --git a/plugins/sonar-core-gwt/src/main/resources/org/sonar/plugins/core/hotspots/public/hotspots.css b/plugins/sonar-core-gwt/src/main/resources/org/sonar/plugins/core/hotspots/public/hotspots.css
index 6ae0b1d27478245b4a944db41a712c79cacd13a1..c0c7310675ac27d775e64f11fb41bd347bc328cf 100644 (file)
--- a/plugins/sonar-core-gwt/src/main/resources/org/sonar/plugins/core/hotspots/public/hotspots.css
+++ b/plugins/sonar-core-gwt/src/main/resources/org/sonar/plugins/core/hotspots/public/hotspots.css
@@ -15,7 +15,7 @@
   color: #333;
   font-size: 93%;
   font-weight: bold;
-  padding: 3px 0px 3px 5px;
+  padding: 3px 0 3px 5px;
   white-space: nowrap;
 }
 .hotspotcol {
@@ -24,8 +24,8 @@
 
 .gwt-Hotspot {
   border: 1px solid #ccc;
-  border-top-width: 2px;
-  border-bottom-width: 2px;
+  border-top-width: 1px;
+  border-bottom-width: 1px;
   margin-left: 5px;
   margin-right: 5px;
   margin-bottom: 10px;