--- /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; }
+
+
--- a/travelling.html Sat Oct 22 11:54:03 2011 +0100
+++ b/travelling.html Sat Oct 22 11:56:13 2011 +0100
@@ -2,8 +2,9 @@
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<HEAD>
<TITLE> Christian Urban </TITLE>
+<BASE HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/">
<script type="text/javascript" src="striper.js"></script>
-<BASE HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/">
+<link rel="stylesheet" href="nominal.css">
</HEAD>
<BODY TEXT="#000000"
@@ -329,7 +330,7 @@
</TABLE>
<P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 -->
<!-- hhmts start -->
-Last modified: Sat Oct 22 11:53:32 BST 2011
+Last modified: Sat Oct 22 11:55:55 BST 2011
<!-- hhmts end -->
<a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
</BODY>