author | Christian Urban <christian dot urban at kcl dot ac dot uk> |
Fri, 25 Mar 2016 11:46:30 +0000 | |
changeset 401 | 3f6d96fa5901 |
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; }