12
|
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 |
|