equal
deleted
inserted
replaced
49 padding: 1px 1px 1px 1px; |
49 padding: 1px 1px 1px 1px; |
50 border-style: inset inset inset inset; |
50 border-style: inset inset inset inset; |
51 border-color: gray gray gray gray; |
51 border-color: gray gray gray gray; |
52 background-color: white; |
52 background-color: white; |
53 } |
53 } |
|
54 |
|
55 .codebox { |
|
56 font: normal 12px Arial, sans-serif; |
|
57 border-width: 1px 1px 1px 1px; |
|
58 padding: 1px 1px 1px 1px; |
|
59 border-style: inset inset inset inset; |
|
60 border-color: gray gray gray gray; |
|
61 } |