equal
deleted
inserted
replaced
9 color: #58585a; |
9 color: #58585a; |
10 } |
10 } |
11 |
11 |
12 p { |
12 p { |
13 text-indent: 1em; |
13 text-indent: 1em; |
14 width: 70%; |
14 width: 80%; |
|
15 font-family: Verdana, Arial, "Bitstream Vera Sans", Helvetica, sans-serif; |
|
16 font-size: 1.1em; |
|
17 color: #58585a; |
|
18 margin-left: 1em; |
15 } |
19 } |
16 pre.plain { |
20 pre.plain { |
17 font-family: Verdana, Arial, "Bitstream Vera Sans", Helvetica, sans-serif; |
21 font-family: Verdana, Arial, "Bitstream Vera Sans", Helvetica, sans-serif; |
18 font-size: 1em; |
22 font-size: 1em; |
19 color: #58585a; |
23 color: #58585a; |