author | Christian Urban <urbanc@in.tum.de> |
Tue, 06 Nov 2012 00:04:58 +0000 | |
changeset 154 | a73de9a29bb5 |
parent 12 | 486ac2d8a819 |
permissions | -rw-r--r-- |
.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; }