| Index: trunk/extensions/UsabilityInitiative/EditToolbar/EditToolbar.css |
| — | — | @@ -1,7 +1,16 @@ |
| 2 | 2 | /* CSS StyleSheet for Toolbar extensions */ |
| 3 | 3 | |
| | 4 | +/* MEDIAWIKI DEPENDENT ID */ |
| | 5 | +textarea#wpTextbox1 { |
| | 6 | + border: solid silver 1px; |
| | 7 | +} |
| | 8 | +/* ... */ |
| 4 | 9 | div#edittoolbar { |
| 5 | 10 | width: 100%; |
| | 11 | + padding: 0.1em; |
| | 12 | + border: solid silver 1px; |
| | 13 | + border-bottom-width: 0; |
| | 14 | + margin-bottom: -1px; |
| 6 | 15 | background-color: #EEEEEE; |
| 7 | 16 | } |
| 8 | 17 | div#edittoolbar div.tabs, |
| — | — | @@ -64,7 +73,7 @@ |
| 65 | 74 | border: 0px; |
| 66 | 75 | height: 22px; |
| 67 | 76 | width: 22px; |
| 68 | | - margin: 2px; |
| | 77 | + padding: 2px; |
| 69 | 78 | cursor: pointer; |
| 70 | 79 | } |
| 71 | 80 | body.rtl div#edittoolbar div.group > img { |