# HG changeset patch # User Christian Urban # Date 1319280973 -3600 # Node ID 486ac2d8a8191ac58a3855f24a24a66343935a1d # Parent a1add930f3a196d37d1eda2172b3e85d809b14f0 tuned 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; } + + diff -r a1add930f3a1 -r 486ac2d8a819 travelling.html --- 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 @@ Christian Urban + - +

-Last modified: Sat Oct 22 11:53:32 BST 2011 +Last modified: Sat Oct 22 11:55:55 BST 2011 [Validate this page.]