diff --git a/resources/public/css/style.css b/resources/public/css/style.css
index 4223e4d8..26a1379b 100644
--- a/resources/public/css/style.css
+++ b/resources/public/css/style.css
@@ -176,6 +176,9 @@ li.testcase {
    background-color: #eee;
    font-family: Courier;
 }
+div.syntaxhighlighter {
+  padding: 4px;
+}
 
 div#restrictions {
    list-style-type: none;