author | Christian Urban <urbanc@in.tum.de> |
Mon, 24 Sep 2018 10:24:11 +0100 | |
changeset 550 | 5412e0952fdb |
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; }