<?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>