tuned
authorChristian Urban <urbanc@in.tum.de>
Sat, 22 Oct 2011 11:56:13 +0100
changeset 12 486ac2d8a819
parent 11 a1add930f3a1
child 13 0b4a5595cbe4
tuned
nominal.css
travelling.html
--- /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>