Updates to Krajee Explorer Theme for mobile responsiveness fixes #950 fixes #930

themes/explorer/theme.css

@@ -152,7 +152,7 @@
     }
 
     .theme-explorer .table tr {
-        margin-top: 10px;
+        margin-top: 5px;
     }
 
     .theme-explorer .table tr:first-child {