1 files changed, 6 insertions, 0 deletions

diff --git a/local.css b/local.css
index e4b9ec88..3e7c692b 100644
--- a/local.css
+++ b/local.css
@@ -34,3 +34,9 @@ pre
 {
   background-color: #f0f0f0;
 }
+
+#license
+{
+  background-color: #f0f0f0;
+  font-size: small;
+}