diff --git a/src/frontend/css/editor.css b/src/frontend/css/editor.css
index c80353a119f1dd3c8eb30e775871d3b91139f008..ce10f3eccb3b36a156f1ea845d78817d141c9a60 100644
--- a/src/frontend/css/editor.css
+++ b/src/frontend/css/editor.css
@@ -52,6 +52,7 @@ body {
 
 .credits {
     text-align: center;
+    font-size: 13px;
 }
 
 #loader {