diff --git a/website/code.css b/website/code.css
index d89de6a8..59c5be7a 100644
--- a/website/code.css
+++ b/website/code.css
@@ -1,7 +1,7 @@
code {
display: block;
- font: Arial, Helvetica, sans-serif;
+ font-family: Arial, Helvetica, sans-serif;
line-height: 1.2em;
background-color: #f5f5f5;
border: thin dashed #a2a2a2;
diff --git a/website/index.html b/website/index.html
index 36192cc7..09c9a0f6 100644
--- a/website/index.html
+++ b/website/index.html
@@ -36,6 +36,15 @@
var s = document.getElementsByTagName('script')[0]; s.parentNode.insertBefore(po, s);
})();
+
+
+
@@ -51,7 +60,7 @@
diff --git a/website/naming.html b/website/naming.html
index 62f04d90..27bd7fc9 100644
--- a/website/naming.html
+++ b/website/naming.html
@@ -36,6 +36,15 @@
var s = document.getElementsByTagName('script')[0]; s.parentNode.insertBefore(po, s);
})();
+
+
+
@@ -51,7 +60,7 @@
diff --git a/website/script.html b/website/script.html
index 2521a12a..e4296273 100644
--- a/website/script.html
+++ b/website/script.html
@@ -36,6 +36,15 @@
var s = document.getElementsByTagName('script')[0]; s.parentNode.insertBefore(po, s);
})();
+
+
+