equal
deleted
inserted
replaced
|
1 pre { |
|
2 white-space: pre-wrap; /* css-3 */ |
|
3 white-space: -moz-pre-wrap !important; /* Mozilla, since 1999 */ |
|
4 white-space: -pre-wrap; /* Opera 4-6 */ |
|
5 white-space: -o-pre-wrap; /* Opera 7 */ |
|
6 word-wrap: break-word; /* Internet Explorer 5.5+ */ |
|
7 } |
|
8 |
|
9 input |
|
10 { |
|
11 background: #ededed; |
|
12 } |
|
13 |
|
14 input[type="button"] { |
|
15 background-color: #656565; |
|
16 color: white; |
|
17 width: auto; |
|
18 font-weight: bold; |
|
19 padding: 5px 10px; |
|
20 } |
|
21 |
|
22 #button_row input { |
|
23 margin: 10px; |
|
24 } |
|
25 |
|
26 #display_select { |
|
27 float: left; |
|
28 } |
|
29 |
|
30 #copy_div { |
|
31 float: right; |
|
32 } |
|
33 |