equal
deleted
inserted
replaced
148 |
148 |
149 .obsolete { |
149 .obsolete { |
150 color: #999; |
150 color: #999; |
151 font-size: 70%; |
151 font-size: 70%; |
152 border-bottom: 1px dashed #999; |
152 border-bottom: 1px dashed #999; |
|
153 font-weight: normal; |
|
154 margin-left: .5em; |
|
155 vertical-align: baseline; |
|
156 } |
|
157 |
|
158 .instability { |
|
159 color: #000; |
|
160 font-size: 70%; |
|
161 border-bottom: 1px solid #000; |
153 font-weight: normal; |
162 font-weight: normal; |
154 margin-left: .5em; |
163 margin-left: .5em; |
155 vertical-align: baseline; |
164 vertical-align: baseline; |
156 } |
165 } |
157 |
166 |