tweak the CSS for compound rules summary

related to #251
adds some margin on the sides to improve alignment
7 jobs for master in 29 minutes and 35 seconds (queued for 2 seconds)