equal
deleted
inserted
replaced
159 font-family: Courier, "Courier New", Monaco, monospace; |
159 font-family: Courier, "Courier New", Monaco, monospace; |
160 font-size: 100%; |
160 font-size: 100%; |
161 color: #000; |
161 color: #000; |
162 background-color: #f2f2f2; |
162 background-color: #f2f2f2; |
163 border: 1px solid #ccc; |
163 border: 1px solid #ccc; |
|
164 margin: 10px 0; |
|
165 padding-bottom: 12px; |
|
166 padding-left: 5px; |
164 } |
167 } |
165 |
168 |
166 code { |
169 code { |
167 font-size: 120%; |
170 font-size: 120%; |
168 color: #000; |
171 color: #000; |