diff -r 7995bc5554b7 -r 0afff550c157 Nominal/nominal.css
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Nominal/nominal.css	Wed Mar 30 16:56:26 2016 +0100
@@ -0,0 +1,21 @@
+.codedisplay {
+  font-family:  Courier New, Courier, monospace;
+  margin-left: 5%; 
+  margin-right: 5%;
+  padding: 10px;
+  text-style: center;
+  white-space: pre;
+  color: black;
+  background-color: rgb(210, 210, 210);
+}
+
+code {
+  font-family:  Courier New, Courier, monospace;
+  font-size: 120%
+  white-space: nowrap; /* pre would be better, but it doesn't work with IE */
+}
+
+.second { color: #000; background: #fff; }
+.first { color: #000; background: #edf3fe; }
+
+