| <?xml version="1.0" encoding="utf-8"?> | |
| <resources> | |
| <dimen name="sourceview_side_margin">@dimen/sourceview_side_margin_extra_large</dimen> | |
| <dimen name="format_bar_button_margin_tablet">@dimen/format_bar_button_margin_tablet_extra_large</dimen> | |
| <dimen name="format_bar_button_group_tablet">@dimen/format_bar_button_group_tablet_extra_large</dimen> | |
| </resources> |