diff -r a1add930f3a1 -r 486ac2d8a819 nominal.css
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/nominal.css	Sat Oct 22 11:56:13 2011 +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; }
+
+