author | Christian Urban <urbanc@in.tum.de> |
Sat, 28 Jan 2017 07:17:00 +0000 | |
changeset 465 | 4dac76eb27d9 |
parent 408 | 0afff550c157 |
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; }