| Index: trunk/extensions/UsabilityInitiative/EditToolbar/EditToolbar.css |
| — | — | @@ -1,16 +1,20 @@ |
| 2 | 2 | /* CSS StyleSheet for Toolbar extensions */ |
| 3 | 3 | |
| 4 | | -/* MEDIAWIKI DEPENDENT ID */ |
| | 4 | +/* MEDIAWIKI DEPENDENT IDs */ |
| | 5 | +form#editform { |
| | 6 | + margin: 0; |
| | 7 | + padding: 0; |
| | 8 | + padding-right: 22px; |
| | 9 | +} |
| 5 | 10 | textarea#wpTextbox1 { |
| 6 | 11 | border: solid silver 1px; |
| | 12 | + padding: 10px; |
| | 13 | + margin-top: -2px; |
| 7 | 14 | } |
| 8 | 15 | /* ... */ |
| 9 | 16 | div#edittoolbar { |
| 10 | | - width: 100%; |
| 11 | | - padding: 0.1em; |
| 12 | 17 | border: solid silver 1px; |
| 13 | 18 | border-bottom-width: 0; |
| 14 | | - margin-bottom: -1px; |
| 15 | 19 | background-color: #EEEEEE; |
| 16 | 20 | } |
| 17 | 21 | div#edittoolbar div.tabs, |