| author | Christian Urban <urbanc@in.tum.de> |
| Tue, 11 Jun 2019 10:38:27 +0100 | |
| changeset 574 | 0b9c3103bdbc |
| parent 12 | 486ac2d8a819 |
| permissions | -rw-r--r-- |
| 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 |