Combine padding specifiers

thomasspriggs · thomasspriggs · commit db7c127ad2ca · 2018-08-21T18:35:00.000+01:00
diff --git a/src/cbmc_style.css b/src/cbmc_style.css
@@ -4,10 +4,7 @@ code {
 	border-style: solid;
 	border-width: 1px;
 	border-color: LightGrey;
-	padding-top: 1px;
-	padding-bottom: 1px;
-	padding-left: 4px;
-	padding-right: 4px;
+	padding: 1px 4px;
 }
 
 h1 {
