equal
deleted
inserted
replaced
|
1 .codedisplay { |
|
2 font-family: Courier New, Courier, monospace; |
|
3 margin-left: 5%; |
|
4 margin-right: 5%; |
|
5 padding: 10px; |
|
6 text-style: center; |
|
7 white-space: pre; |
|
8 color: black; |
|
9 background-color: rgb(210, 210, 210); |
|
10 } |
|
11 |
|
12 code { |
|
13 font-family: Courier New, Courier, monospace; |
|
14 font-size: 120% |
|
15 white-space: nowrap; /* pre would be better, but it doesn't work with IE */ |
|
16 } |
|
17 |
|
18 .second { color: #000; background: #fff; } |
|
19 .first { color: #000; background: #edf3fe; } |
|
20 |
|
21 |