equal
deleted
inserted
replaced
14 padding: 0; |
14 padding: 0; |
15 height: 100%; |
15 height: 100%; |
16 } |
16 } |
17 body { |
17 body { |
18 background-color: #101d14; |
18 background-color: #101d14; |
|
19 /* color added in 1.0.2 to fix light text in dark desktop themes */ |
|
20 color: #202020; |
19 background-image: url(../images/bghatching.gif); |
21 background-image: url(../images/bghatching.gif); |
20 background-repeat: repeat; |
22 background-repeat: repeat; |
21 font-family: "Lucida Sans Unicode", sans-serif; |
23 font-family: "Lucida Sans Unicode", sans-serif; |
22 font-size: 75%; |
24 font-size: 75%; |
23 } |
25 } |