Revision 57c50e7c
ID | 57c50e7c40ed7a2f507a7f9c036f79d6db71b2ab |
Parent | 5c2e8209 |
Child | bc9942d1 |
Small style fixes:
- Use the background color for the splitter.
- Remove the padding inside the dialog boxes so that our background color appears uniform in warnings and errors.
- Restore the padding we remove when overriding the gwt-DialogBox style.
Files
- added
- modified
- copied
- renamed
- deleted