author | Christian Urban <urbanc@in.tum.de> |
Mon, 24 Sep 2018 12:19:47 +0100 | |
changeset 557 | 95501f3a3be1 |
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; }