| Index: trunk/extensions/VisualEditor/demo/index.html |
| — | — | @@ -50,6 +50,7 @@ |
| 51 | 51 | <div id="es-preview-json" class="es-preview es-code"></div> |
| 52 | 52 | <div id="es-preview-html" class="es-preview es-code"></div> |
| 53 | 53 | <div id="es-preview-render" class="es-preview es-render"></div> |
| | 54 | + <div id="es-preview-history" class="es-preview es-history"></div> |
| 54 | 55 | </div> |
| 55 | 56 | <div style="clear:both"></div> |
| 56 | 57 | </div> |
| Index: trunk/extensions/VisualEditor/demo/es.css |
| — | — | @@ -146,6 +146,10 @@ |
| 147 | 147 | line-height: 1.5em; |
| 148 | 148 | padding-top: 0; |
| 149 | 149 | } |
| | 150 | +.es-history { |
| | 151 | + line-height: 1.5em; |
| | 152 | + padding: 0; |
| | 153 | +} |
| 150 | 154 | |
| 151 | 155 | /* General MediaWiki Styles */ |
| 152 | 156 | |